problog
problog copied to clipboard
Support DCG (Definite Clause Grammar syntax)
For easier integration (or porting) with the existing Prolog libraries/programs, since DCG are popular in Prolog world.
number --> digit, number_remaining.
number_remaining --> dot,number_remaining.
number_remaining --> digit,number_remaining.
number_remaining([],[]).
dot -->[0'.].
digit --> [J], {digit_code(J)}.
digit_code(J):- J >= 0'0, J =< 0'9.
any info on this ? Is it easy to develop ? OR how you will emulate DCG w/o having the syntax available with pure Problog ?