H ? « ‹ ← → › »

Language peer sets for Procalog:
Designed 1996 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Procalog(ID:5826/pro008)

alternate simple view
Designed 1996

for Programming with constraints and abducibles in logic.
References:
  • Gerhard Wetzel, Robert A. (1996) Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). JICSLP 1996: 535
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder