#

eclipse-prolog

Here are 3 public repositories matching this topic...

LilyOSullivan / SymbolicExecutionForCWithParser

A symbolic execution engine in Prolog for C

kotlin c parsing prolog symbolic-execution antlr4 test-generation clp lex-yacc-parser concolic-testing lex-yacc eclipse-prolog

Updated Aug 23, 2023
C

merkouris148 / prolog-exercises

Some exercises in logic programming and constraint logic programming writen in ECLiPSe Prolog

prolog constraint-programming logic-programming eclipse-prolog

Updated Jul 21, 2020
Prolog

tatiana-boura / BSc-Thesis-Dempster-Shafer-Theory-Application-in-Recommender-Systems

DST approach on Recommended Systems(RS).

r artificial-intelligence constraint-programming logic-programming recommender-systems dempster-shafer-theory krr eclipse-prolog

Updated Sep 12, 2023
Python

Improve this page

Add a description, image, and links to the eclipse-prolog topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the eclipse-prolog topic, visit your repo's landing page and select "manage topics."