GitHub topics: eclipse-prolog
merkouris148/prolog-exercises
Some exercises in logic programming and constraint logic programming writen in ECLiPSe Prolog
Language: Prolog - Size: 695 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
tatiana-boura/BSc-Thesis-Dempster-Shafer-Theory-Application-in-Recommender-Systems
DST approach on Recommended Systems(RS).
Language: Python - Size: 8.14 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
LilyOSullivan/SymbolicExecutionForCWithParser
A symbolic execution engine in Prolog for C
Language: C - Size: 75.1 MB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
