Návrat, P. and M. Bieliková "Representing calendrical algorithms and data in Prolog and Prolog III languages"

(1995)

[SIGPLAN] (1995) SIGPLAN Notices 30(07) July 1995  

Languages mentioned

  • Prolog III {1984} Prolog with unification replaced by constraint resolution.