Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
701	The XSB System Version 3.3.x Volume 1: Programmer’s Manual Add to Reading List Source URL: xsb.sourceforge.net Language: English - Date: 2013-07-04 05:07:49 XSB Prolog Logic programming Definite clause grammar Qi Memoization Subroutine Computer programming Computing Software engineering
702	gicro-LPROLQG 2 Programmerjs Reference Manual CP/M Version * Add to Reading List Source URL: z80cpu.eu Language: English - Date: 2006-04-21 19:00:00 Prolog Tanzanian conservation organisations The Alphabet Cipher Computer programming Software engineering Computing
703	Accepted for ESCAPE-16 & PSE-2006, July 10-14, Garmisch-Partenkirchen, Germany © 2005 Elsevier B.V./Ltd. All rights reserved. Add to Reading List Source URL: personal-pages.ps.ic.ac.uk Language: English - Date: 2007-06-10 03:35:41 CAEX Markup languages Quality Analyser XML Prolog Analysis Root cause Medical diagnosis Computing Computer file formats Medical terms
704	Unification: A Multidisciplinary Add to Reading List Source URL: www.isi.edu Language: English - Date: 2004-12-06 11:56:54 Logic Logic programming Rules of inference Unification Theoretical computer science Occurs check Prolog First-order logic Resolution Mathematics Mathematical logic Automated theorem proving
705	Microcomputer PROLOG implementations: The state-of-the-art by HAL BERGHEL and RICHARD RANKIN Add to Reading List Source URL: www.customer_service.trusted.secure.server.bestandmostsecureonlinebankinamerica.myfavoritebank.com.berghel.com Language: English - Date: 2010-09-17 13:36:44 Logic programming Prolog Definite clause grammar Logic Programming Associates Predicate Occurs check Append Backtracking Horn clause Software engineering Computing Computer programming
706	compiler description language CDL3 manual Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2007-02-21 06:07:45 Procedural programming languages Cross-platform software Notation Programming language Compiler Description Language Algorithm Communications protocol Type system Prolog Computing Programming language theory Software engineering
707	Chapter 9 SLD-Resolution And Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-06-17 11:47:12 Logic programming Logic in computer science Rules of inference Automated theorem proving Horn clause Resolution Clause Prolog Mathematical proof Logic Mathematics Mathematical logic
708	PDF Document Add to Reading List Source URL: www.w3.org Language: English - Date: 2010-03-16 13:44:52 Programming language theory Rule Interchange Format Chris Welty ILOG Prolog Negation APL Computing Semantic Web Software engineering
709	PDF Document Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2010-05-06 15:58:08 Constraint programming Prolog Integrated development environments Logtalk Comparison of Prolog implementations YAP CLP Programming paradigms ECLiPSe Software engineering Computer programming Computing
710	PDF Document Add to Reading List Source URL: www.texasmulticoretechnologies.com Language: English - Date: 2013-07-11 13:00:59 Recursion Subroutines Procedural programming languages Program analysis Type system Type theory Fold Prolog Array programming Software engineering Computing Computer programming