Printer friendly
"AcronymAttic.com

What does NACLP stand for?

NACLP stands for North American Conf on Logic Programming

This definition appears very rarely

Other Resources: Acronym Finder has 2 verified definitions for NACLP

Samples in periodicals archive:

A historical review is presented of work in disjunctive deductive databases; Proc. North American Conf. on Logic Programming, pages 1215-1235, 1989.
In North American Conf. on Logic Programming, pages 37-51, 1989. Nai83 L. Naish. Automatic generation of control for logic programs. Technical Report 83/6, Dept...
Simplification and elimination of redundant linear arithmetic constraints. In North American Conf. on Logic Programming, 37-51, 1989. MUVG86...
Characterizing termination of logic programs with level mappings. In Lusk, E. and Overbeek, R., editors zem, Proc. 1989 North American Conf. on Logic Programming.
1. A. J. Bonner and L. T. McCarty. Adding negation-as-failure to intuitionistic logic programming. In Proc. of the North American Conf. on Logic Programming, 681...
In Proc. of the North American Conf. on Logic Programming, Cleveland, Ohio, 1989. [17] T. Friihwirth. A Polymorphic Type Checking System for Prolog in HiLog.
NACLP'90 Proc. of the North American Conf. on Logic Programming, 359-376. Combinatory Forms for Equational Programming: Instances, Unification e Narrowing.
Proc. 1989 North American Conf. on Logic Programming: Add To; Logic programming can give a valuable contribution thanks to its characteristic features...
Analysis of constraint logic programs (1990) by K; Venue: In Proc. North American Conf. on Logic Programming'90: Add To MetaCart. Tools. Sorted by...
Negation as failure for disjunctive logic programming; inProc. North American Conf. on Logic Programming; Negation as failure for disjunctive logic programming
It was the first logic programming implementation to obtain performance comparable to imperative languages; North American Conf. on Logic Programming...
SB-Prolog: Stony Brook Prolog; Prolog source programs can be compiled into machine; in Proceedings of the North American Conf. on Logic Programming...