eclipse-prolog

There are 3 repositories under eclipse-prolog topic.

LilyOSullivan/SymbolicExecutionForCWithParser
A symbolic execution engine in Prolog for C
Language:C2 2 10
tatiana-boura/BSc-Thesis-Dempster-Shafer-Theory-Application-in-Recommender-Systems
DST approach on Recommended Systems(RS).
Language:Python0 1 00
merkouris148/prolog-exercises
Some exercises in logic programming and constraint logic programming writen in ECLiPSe Prolog
Language:Prolog1 0