eclipse-prolog

Here are 3 public repositories matching this topic...

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

DST approach on Recommended Systems(RS).

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

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

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