Sebastijan Dumancic

icon indicating a website link https://sebdumancic.github.io/

icon company Delft University of Technology icon location Assistant Professor at Delft University of Technology. Program synthesis/induction, probabilistic programming and StarAI

Results 5 issues of Sebastijan Dumancic

Fixed DFS traversal

2 comment

The DFS traversal did not return the answers in the same order as a Prolog implementation like SWIPL. This is now fixed.

Add support for proof extraction of a query

enhancement

Add ability to specify predicates in Python

enhancement

Add parsers: text -> pylo code

enhancement

Foreign function interface out of date

1 comment

Hi, could you update the information of the foreign function interface? If I understand correctly, since 8.2.0 version, `PL_register_foreign` takes a function with the return with `pl_function_t` instead of `foreign_t`....