GitHub - traes/TR-Prolog: Prolog interpreter with support for fuzzy logic, implemented in C++

traes / TR-Prolog Public

Notifications You must be signed in to change notification settings
Fork 1
Star 3

Prolog interpreter with support for fuzzy logic, implemented in C++

wilma.vub.ac.be/~traes/tr-prolog/

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
CMakeLists.txt		CMakeLists.txt
README		README
argument.cpp		argument.cpp
argument.h		argument.h
clause.cpp		clause.cpp
clause.h		clause.h
demo.pl		demo.pl
evaluation.cpp		evaluation.cpp
evaluation.h		evaluation.h
interpreter.cpp		interpreter.cpp
interpreter.h		interpreter.h
main.cpp		main.cpp
parser.cpp		parser.cpp
parser.h		parser.h
predicate.cpp		predicate.cpp
predicate.h		predicate.h
program.cpp		program.cpp
program.h		program.h
unification.cpp		unification.cpp
unification.h		unification.h
varbinding.cpp		varbinding.cpp
varbinding.h		varbinding.h

Repository files navigation

TR-Prolog (c) Thomas Raes 2007
==============================

TR-Prolog is an open-source interpreter for a fuzzy variant of Prolog.
For comments and/or remarks, you can contact me at Thomas.E.M.Raes@gmail.com

License
-------

The code is released under the GPL v2.

Compilation
-----------

cmake . && make

Usage
-----

start the program (./tr-prolog) and type 'help' (without the quotes)

Example
-------

# ./tr-prolog
TR-Prolog v1.4 (c) 2006-2007 Thomas Raes
*> load
enter filename:demo.pl
*> show
<0.6320; a(foo).>
<1.0000; b(bar).>
<0.7000; c(X,Y) :- a(X),b(Y).>
*> query
enter query: c(X,Y).
*** match found ***
fuzzy value: 0.7
variable bindings:
    {
	X => foo,
    	Y => bar
    }
*> stop
Bye!

Versions
--------

v1.4 bugfix  
v1.3 bugfix
v1.2 improved variable binding representation 
v1.1 added tracing
v1.0 added fuzzy evaluation
v0.2 added fuzzy clauses
v0.1 initial version