ProcInternational Conference on Logic Programming, pp. 631–645, MIT Press. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems1 - Free variables and bound variables - Document - PDFSEARCH.IO

First Page	Meta Content
	ProcInternational Conference on Logic Programming, pp. 631–645, MIT Press. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems1 Add to Reading List Document Date: 2003-02-05 05:51:42 Open Document File Size: 192,63 KB Share Result on Facebook Company ESPRIT / MIT Press / / Country Andorra / / / Facility M. Carro Computer Science Department Technical University of Madrid / Linda library / / IndustryTerm pretty printing / logic programming systems / / OperatingSystem Unix / / Organization MIT / M. Carro Computer Science Department Technical University of Madrid / / Position General / above producer / producer / simple producer / guard / / ProgrammingLanguage Prolog / C / / Technology shared memory / Unix / same processor / / SocialTag Constraint programming Logic programming Programming paradigms Actor model Prolog Constraint logic programming Unification Variable Free variables and bound variables Software engineering

ProcInternational Conference on Logic Programming, pp. 631–645, MIT Press. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems1Add to Reading List