
	Where results make sense

Topic: Logic programming

Related Topics

Programming language

Concurrent programming language

Dynamic programming language

Educational programming language

Declarative programming language

Concatenative programming language

Procedural programming

Timeline of programming languages

Control flow

Assembly language

C programming language

Agile programming language

Assembler

MASM

Bangkok

In the News (Tue 7 Oct 08)

Breast Cancer

Golden Circle

Keating Five

Stephen Harper

Eli Lilly

Nobel Prize

Eli Manning

Josh Beckett

Sage Rosenfels

South Ossetia

	Logic programming - Wikipedia, the free encyclopedia
		Logic programming (sometimes called logical programming) is programming that makes use of pattern-directed invocation of procedures from assertions and goals.
		The first logic programming language was Planner which featured pattern-directed invocation of procedural plans from both assertions and goals.
		The point of logic programming is to bring the style of mathematical logic to computer programming.
	en.wikipedia.org /wiki/Logic_programming (1233 words)

	Inductive logic programming - Wikipedia, the free encyclopedia
		Inductive logic programming (ILP) is a machine learning approach which uses techniques of logic programming.
		From a database of facts and expected results, which are divided into positive and negative examples, an ILP system tries to derive a logic program that proves all the positive and none of the negative examples.
		Inductive logic programming is particularly useful in bioinformatics and natural language processing.
	en.wikipedia.org /wiki/Inductive_logic_programming (140 words)

	Derek Bridge - Programming in Logic
		It went through two incarnations: in 1994 and 1995 it was a single unit (18 hours of lectures) and entitled `Programming in Logic'; in 1996 and 1997, it was merged with a single unit on functional programming, forming a double unit (36 lectures), entitled `Declarative Programming'.
		The functional programming component was taught by Colin Runciman, while I taught the logic programmming.
		Example programs will include some drawn from the field of Artificial Intelligence, a field in which logic programming is in widespread use.
	www.cs.ucc.ie /~dgb/courses/pil.html (490 words)

	The World Wide Web Virtual Library: Logic Programming (Site not responding. Last check: 2007-11-06)
		Programming with Constraints: An Introduction, Kim Marriott and Peter J. Stuckey The MIT Press, 1998.
		Logic Program Synthesis and Transformation EC Human Capital and Mobility programme.
		Mercury, a pure logic programming language designed for the development of efficient and robust real-world applications, based on strong types and modes.
	www.afm.sbu.ac.uk /logic-prog (1454 words)

	Logic Programming (Site not responding. Last check: 2007-11-06)
		The execution of a logic program corresponds to the construction of a proof of the goal statement from the axioms.
		In the logic programming model the programmer is responsible for specifying the basic logical relationships and does not specify the manner in which the inference rules are applied.
		Operationally, to answer a query, using a program, is to perform a computation whose output is the substitution that unifies the query with an instance of the query which is deducible from the program.
	cmpe.emu.edu.tr /aelci/Courses/D-318/D-318-Files/plbook/logic.htm (5266 words)

	Monadic Constructs for Logic Programming (Site not responding. Last check: 2007-11-06)
		We describe a variety of logic programming constructs in terms of monads and monad morphisms and a reconstruction of all-solution predicates in terms of list comprehensions in \lambdaProlog.
		We suppose the reader is familiar with both major declarative programming paradigms and has basic concepts about monads [wadler92:acm] and higher-order logic programming languages of the \lambdaProlog family [nadathur:overview:slp:88], [miller:logic:jlc:91].
		Although transposing an elegant declarative concept from one declarative programming paradigm to another is not difficult, their elegant implementation was not always obvious, as is in the case of the monadic view of lazy function lists or the emulation of list comprehensions.
	logic.csci.unt.edu /tarau/research/PapersHTML/monadic.html (3421 words)

	Functional Logic Programming
		A functional logic programming language is a programming language that joins in a single paradigm features of logic programming and functional programming.
		The advantages of functional logic programming languages over pure functional or pure logic languages can be better understood by comparing the implementations of a textbook example of a well-known problem.
		Curry is a general purpose programming language proposed as the lingua franca of the functional logic community.
	www.cs.pdx.edu /~antoy/research/flp (1080 words)

	The Logic Programming Group at DISI
		We have investigated the concept of object in Logic Programming and its semantic characterization, with particular attention to the characteristics and features of objects expressible using linear logic.
		We have defined a framework for computing bottom-up fixpoint semantics of linear logic programs, and we are currently studying analysis and verification of programs by applying abstract interpretation and model-checking techniques.
		We are investigating how Logic Programming can be exploited to realize low-cost executable prototypes of multi-agent systems that integrate different kinds of legacy software into more complex applications.
	www.disi.unige.it /research/Logic_programming (489 words)

	Logic And Functional Programming Group -- SFU
		The Logic and Functional Programming Group was formally established in 1990 as an independent research group under SFU's Policy AC-35.
		Logic programming is the art of using logic to describe knowledge in a more human-oriented way than is possible with traditional programming languages.
		Logic programming has become the heart of the Fifth Generation Computing project.
	www.cs.sfu.ca /research/groups/Logic-Functional.html (394 words)

	Open Directory - Computers: Programming: Languages: Logic-based (Site not responding. Last check: 2007-11-06)
		DBLP: Logic Programming - A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects.
		Kiev: Java compiler with logic extensions - This open-source language licensed under GPL is a superset of Java with Prolog-like extensions.
		PC AI - Logic Programming - As part of a survey of information on artificial intelligence this section on logic programming is provided.
	dmoz.org /Computers/Programming/Languages/Logic-based (708 words)

	Programming Languages
		Haskell is the most popular functional programming language and is the one that I've used a lot (for example, my Z animator, Jaza).
		Mercury is an elegant, pure, logic programming language from Melbourne University.
		It covers theoretical aspects of logic programming as well as practical programming in Prolog, and extensions logic programming such as equational logic programming, constraint logic programming and query answering in deductive databases.
	www.cs.waikato.ac.nz /~marku/languages.html (2231 words)

	cs107:Introduction to Logic and Logic Programming (Site not responding. Last check: 2007-11-06)
		The first part of the course is centered around the fundamental concepts of entailment and logical equivalence together with related techniques: the use of truth tables and other techniques (semantic tableaux) to determine the validity and consistency of sentences.
		The last part of the course deals with the main concepts of logic programming in general (eg unification, substitution) and the special case of Prolog.
		The second semester pursues the theme of logic programming by offering a comprehensive introduction to the syntax, semantics and features of Prolog,a well-known logic programming language that has been used extensively in a wide variety of AI applications.
	www.cs.um.edu.mt /~mros/cs107 (330 words)

	Logic Software Inc. - Custom Software Development Company Toronto, Canada (Site not responding. Last check: 2007-11-06)
		"...I would wholeheartedly recommend Logic Software to anyone; it was very helpful to me that they had such a broad range of experience, from web programming to Windows programming.
		Logic Software, Inc. is a rapidly growing custom development and software outsourcing company with headquarters in Toronto, Canada.
		Logic Software, Inc. offers a wide range of custom IT programming services.
	www.logicsoftware.net (480 words)

	The Mercury Project: Introduction (Site not responding. Last check: 2007-11-06)
		Logic programming languages have been around for more than twenty years.
		Despite the expected advantages of a very high level programming language based upon well developed theories of logic over conventional programming languages (such as C, C++, Pascal and Ada) they have not had significant impact on the computer industry.
		Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features.
	www.cs.mu.oz.au /research/mercury (194 words)

	Logic Programming and Learning
		This course is about using symbolic logic firstly as a computer language for writing and testing specifications, and secondly as the basis for automatically constructing functions and relations from partial specifications.
		Symbolic statements that can act both as specifications and as efficient programs was one of the motivating goals of the field of Logic Programming.
		Having learnt how to write logic programs, the second part of the course will look at how a machine could automatically construct them for you.
	www.cse.iitd.ernet.in /~ashwin/courses/lpl (537 words)

	Naomi Lindenstrauss Home Page
		The benchmarks from L. Plumer, Termination Proofs for Logic Programs, Springer Verlag, LNAI 446, 1990 --- zipped.
		The benchmarks from L. Plumer, Termination Proofs for Logic Programs, Springer Verlag, LNAI 446, 1990 --- unzipped.
		The benchmarks from K. Apt and D. Pedreschi, Modular Termination Proofs for Logic and Pure Proog Programs, in 'Advances in Logic Programming Theory', 183-229, Oxford University Press, 1994 --- zipped.
	www.cs.huji.ac.il /~naomil (403 words)

	TyRuBa -- Logic Meta Programming for Java (Site not responding. Last check: 2007-11-06)
		It was implemented as part of my Ph.D. work as a system to experiment with the idea of type-oriented logic meta programming.
		Rather it is a general, simple logic programming language with a few peculiarities to facilitate the manipulation of Java code for the purpose of code generation.
		Aspect-Oriented Logic Meta Programming a paper which elaborates an example of how TyRuBa 5.x was used to do Aspect Oriented Programming.
	tyruba.sourceforge.net (913 words)

	Ladder Logic Programming
		It is programmed to automatically close this cover after one hour unless it has received and instruction from the main PC to keep the cover open.
		There are two vertical lines coming down the programming environment, one on the left and one on the right.
		Also, in most ladder logic programming environments you have to specify the address of each of your inputs and outputs before it will even let you start programming.
	xtronics.com /toshiba/Ladder_logic.htm (2026 words)

	PC AI - Logic Programming
		Overview: Logic programming uses logic and proof procedures to define and resolve problems.
		In general, most logic programming is based on the Horn-clause logic supplemented with negation-as-failure to store the information and backward reasoning to solve problems.
		Collection of information and resources for research in programming language theory, design, implementation, and related areas including automated deduction, constraints, dynamic storage allocation, formal methods, functional programming, logic programming, logical frameworks, object oriented programming, semantics-based program analysis and manipulation, software engineering, and visual programming.
	www.pcai.com /web/ai_info/logic_programming.html (400 words)

	Cetus Links: 18,452 Links on Objects and Components / Prolog
		Linear logic systems such as Lolli and LLP are supersets (more or less) of Prolog that define additional operations for these purposes.
		Inductive logic often uses a schema of classes, instances and attribute values to define a rule base.
		Courses on Prolog and Logic Programming (University of Birmingham)
	www.cetus-links.org /oo_prolog.html (2177 words)

	Logic Programming
		The Logic Databases and their Relation to Novel Hardware and Languages project IKBS 85 developed a logic database system and expert system interface to it on top of the Prolog Database Machine developed by IKBS 37.
		PAN is designed to be a general purpose process-based parallel logic programming system able to exploit various forms of parallelism (AND,OR,combinations).
		It combines a process-based approach to logic programming with the use of a virtual multiprocessor to attain a sustainable architecture that should adapt well to change.
	www.cee.hw.ac.uk /Databases/logic_prog (1000 words)

	Links for "Logical Systems"
		The prerequisite for this course is either Symbolic Logic or an introductory programming course.
		Preprints in Mathematical Logic and Foundations of Mathematics.
		Berkeley Group in Logic and the Methodology of Science.
	www.earlham.edu /~peters/courses/logsys/lslinks.htm (712 words)

	CICLOPS 2003
		Preference will be given to the analysis and description of implemented systems (or currently under implementation) and their associated techniques, problems found in their development or design, and steps taken towards the solution of these problems.
		Logic Programming and Constraint Programming, in particular, seem to offer one of the best alternatives, as they couple a very high level of abstraction and a declarative nature with an extreme flexibility in the design of its execution model.
		Our intent is to bring together, in an informal setting, people involved in research on sequential and parallel implementation technologies for logic and constraint programming languages and systems, in order to promote a much needed exchange of ideas and feedback on recent developments.
	www.ncc.up.pt /~rslopes/CICLOPS03 (586 words)

	FLoC '02 - ICLP
		The international conference on logic programming (ICLP) has been the premier conference for presenting research in logic programming since it was first held in Marseilles in 1982.
		The conference scope is the broadest possible interpretation of logic programming: theory, implementations and architectures, environments and language extensions, as well as applications such as natural language processing, knowledge representation, nonmonotonic reasoning, databases, and constraint programming.
		Some prominent topics in recent years include: the integration of logic and constraint programming, applications of logic programming in software engineering, and the component-based and Internet-based development.
	floc02.diku.dk /ICLP (243 words)

	BYTE.com (Site not responding. Last check: 2007-11-06)
		As its name suggests, CLP is descended from logic programming, which shot to fame via the Prolog language, widely used in the Japanese 5th Generation project and the expert-systems boom of the mid-1980s.
		Prolog is based on first-order predicate logic, and the objects that it manipulates are pure symbols with no intrinsic meaning.
		A CLP program still needs to search a database of facts, but it can use constraints to rule out many possible outcomes and prune away large parts of the search tree.
	www.byte.com /art/9502/sec13/art3.htm (1828 words)

	FreeTechBooks.com - Logic Programming
		Intended for undergraduate students who have some programming experience and may even have written a few programs in Prolog.
		Introduces topics such as concurrency and equational and constraint logic programming.
		Introduces logic programming, combining three essential components: the declarative nature of logic itself, the programming techniques needed to write effective programs, and the efficient implementation of logic programming by computer.
	www.freetechbooks.com /forum-13.html (185 words)

	Hierarchical Constraint Logic Programming - Wilson (ResearchIndex) (Site not responding. Last check: 2007-11-06)
		1.0: Constraint Hierarchies and Logic Programming - Borning, Maher, Martindale..
		248 The Semantics of Predicate Logic as a Programming Language (context) - Van Emden, Kowalksi - 1976 ACM DBLP
		76 Constraint Hierarchies and Logic Programming - Borning, Maher et al.
	citeseer.ist.psu.edu /24834.html (1201 words)

	LOGPRO home (Site not responding. Last check: 2007-11-06)
		Here is a demo-version of the Reviewer's Workbench; a Prolog CGI program used for management of the program committee work of ILPS97.
		The research of LOGPRO focuses on the foundations of logic programming.
		Our current research concerns the implementation of logic programming systems and deductive databases, methods for developing correct programs and debugging of constraint programs.
	www.ida.liu.se /labs/logpro (211 words)

	logic programming from FOLDOC (Site not responding. Last check: 2007-11-06)
		, programming, language> A declarative, relational style of programming based on first-order logic.
		Clauses may contain logic variables which take on any value necessary to make the fact or the left hand side of the rule match a goal.
		The user is informed of the success or failure of his first goal and if it succeeds and contains variables he is told what values of those variables caused it to succeed.
	foldoc.org /foldoc/foldoc.cgi?logic+programming (263 words)

Try your search on: Qwika (all wikis)