Procalog(ID:5826/pro008)

Began: 1996

for Programming with constraints and abducibles in logic.

References:

Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). JICSLP 1996: 535 view details