B-Prolog - PDFSEARCH.IO - Document Search Engine

B-Prolog
Results: 35

#	Item
21	Sceptic User Manual September 1989, revised March 1990 Version 3.0, December 1990 Saki Hajnal John Fox Paul Krause Add to Reading List Source URL: cogent.psyc.bbk.ac.uk Language: English - Date: 2012-01-10 15:14:11 Prolog Logic programming Programming paradigms Production system Constraint programming B-Prolog Software engineering Computer programming Computing
22	Programming with Constraint Solvers CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-04 09:58:41 Computing Constraint programming Numerical software Declarative programming Prolog Logic programming Solver Function B-Prolog Software engineering Computer programming Programming paradigms
23	The birth of Prolog Alain Colmerauer and Philippe Roussel November 1992 Abstract The programming language, Prolog, was born of a project aimed not at producing a programming language but at processing natural languages; Add to Reading List Source URL: alain.colmerauer.free.fr Language: English - Date: 2014-09-29 06:14:00 Prolog Definite clause grammar Logic programming Planner Alain Colmerauer Q-systems Unification Inference B-Prolog Software engineering Computing Computer programming
24	AN INTRODUCTION TO PROLOG III 1 An Introduction to Prolog III Add to Reading List Source URL: alain.colmerauer.free.fr Language: English - Date: 2010-09-28 13:14:56 Prolog Constraint programming Programming paradigms Information Processing Language Constraint logic programming Logic programming Boolean algebra B-Prolog Software engineering Computing Computer programming
25	G REG J B ADROS www.badros.com/greg [removed] Work Address Facebook Inc. Add to Reading List Source URL: www.badros.com Language: English - Date: 2013-09-11 15:48:46 Computer programming Cassowary Prolog Preprocessor Constraint satisfaction problem ALGOL 68 Software engineering Computing Constraint programming
26	Logic, Programming and Prolog (Supplement) Ulf Nilsson Dept of Computer and Information Science Link¨oping University [removed] Add to Reading List Source URL: ima.udg.edu Language: English - Date: 2007-02-12 09:49:53 Computing Constraint logic programming Prolog Function Finitary relation Mathematical optimization B-Prolog Constraint satisfaction Constraint programming Software engineering Computer programming
27	Docket Xc[removed]of J z z ~ z r j -52, [removed]Stat. 927, I1 %E??. - Add to Reading List Source URL: digital.library.okstate.edu Language: English - Date: 2006-06-06 10:38:19 Complex analysis B-Prolog
28	Microsoft PowerPoint - ibm_pl_day13 Add to Reading List Source URL: picat-lang.org Language: English - Date: 2013-09-22 10:55:13 Procedural programming languages B-Prolog Prolog List comprehension ALGOL 68 Unification Dynamic programming Map Software engineering Computing Computer programming
29	My First Look At Picat as a Modeling Language for Constraint Solving and Planning Håkan Kjellerstrand1 1. Independent Researcher, Malmoe, Sweden E-mail: [removed] Abstract: Picat is a new and interesting programm Add to Reading List Source URL: picat-lang.org Language: English - Date: 2014-05-24 19:02:38 Constraint programming Programming paradigms Logic programming Operations research B-Prolog Prolog Functional programming List comprehension Append Software engineering Computing Computer programming
30	IF/Prolog V5.3 Reference Manual Add to Reading List Source URL: www.ifcomputer.de Language: English - Date: 2007-12-17 04:37:37 Prolog Query languages SQL Append Clause Where Prolog syntax and semantics B-Prolog Computing Software engineering Computer programming