Skip to content

Latest commit

 

History

History
22 lines (18 loc) · 647 Bytes

README.md

File metadata and controls

22 lines (18 loc) · 647 Bytes
Raw

Concepts in motion playground

This repository contains some simple code to see whether we can get reasoning to work with Thea. To use it:

  • Get the development version of SWI-Prolog (for the tabling)

  • Download:

    git clone [email protected]:conceptsinmotion/playground
git submodule update --init

  • Run

    swipl playground.pl
?- initialize_reasoner.
?- reasoner_ask(subClassOf(Sub,Super)).

Test on Linux (Ubuntu 19.04). Should work on any platform where Prolog and Java work. On some platform some environment setup may be needed to get JPL (the Prolog <-> Java interface) to run.