|
| |
| | Logic programming - Wikipedia, the free encyclopedia |
 | | The point of logic programming is to bring the style of mathematical logic to computer programming. | | | Logic programming (sometimes called logical programming) is programming that makes use of pattern-directed invocation of procedures from assertions and goals. | | | Artificial Intelligence was an important influence on the development of logic programming. |
|
http://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. | | | Inductive logic programming is particularly useful in bioinformatics and natural language processing. | | | 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. |
|
http://en.wikipedia.org/wiki/Inductive_logic_programming
(140 words)
|
|
| |
| | Logic Programming |
| | 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. | | | A computation of a logic program is a deduction of consequences of the program. | | | Programs are theories and computation is deduction from the theory. |
|
http://cmpe.emu.edu.tr/aelci/Courses/D-318/D-318-Files/plbook/logic.htm
(5266 words)
|
|
| |
| | The World Wide Web Virtual Library: Logic Programming |
| | Logtalk, an extension for Object-Oriented Programming in Prolog. | | | Prolog and Logic Programming course at the University of Birmingham School of Computer Science. | | | Logic Programming and Software Engineering Research Group, including the Extensions of Logic Programming (ELP) subgroup, Information Systems and Computing Department, The Politechnical University of Valencia (UPV), Spain. |
|
http://www.afm.sbu.ac.uk/logic-prog
(1454 words)
|
|
| |
| | Derek Bridge - Programming in Logic |
| | In logic programming, results are computed using a standard strategy of automated theorem-proving. | | | Example programs will include some drawn from the field of Artificial Intelligence, a field in which logic programming is in widespread use. | | | The functional programming component was taught by Colin Runciman, while I taught the logic programmming. |
|
http://www.cs.ucc.ie/~dgb/courses/pil.html
(490 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. |
|
http://www.cs.pdx.edu/~antoy/research/flp
(1080 words)
|
|
| |
| | Logic And Functional Programming Group -- SFU |
| | 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. | | | To further the state of the art on the theoretical and practical aspects of developing declarative programming tools (in particular, logic programming, functional programming, constraint logic programming and logic grammars); |
|
http://www.cs.sfu.ca/research/groups/Logic-Functional.html
(394 words)
|
|
| |
| | Monadic Constructs for Logic Programming |
| | 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]. | | | We have shown that monads are as useful to describe the basic data structures of logic programming languages as they are in functional programming. | | | All-solution predicates are the logic programming siblings of list comprehensions in functional programming languages. |
|
http://logic.csci.unt.edu/tarau/research/PapersHTML/monadic.html
(3421 words)
|
|
| |
| | The Logic Programming Group at DISI |
| | 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 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 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. |
|
http://www.disi.unige.it/research/Logic_programming
(489 words)
|
|
| |
| | Open Directory - Computers: Programming: Languages: Logic-based |
| | PC AI - Logic Programming - As part of a survey of information on artificial intelligence this section on logic programming is provided. | | | Imperial College London: Logic and Artificial Intelligence - Department of Computing, Imperial College of Science, Technology and Medicine, University of London: research group on logic and artificial intelligence focusing on communicating agents, computational logic and computational bioinformatics. | | | XE - Resulting from the Exbed project, this general-purpose programming language supports data abstraction and rule-based programming and is based on but is not a formal extension of CLU. |
|
http://dmoz.org/Computers/Programming/Languages/Logic-based
(708 words)
|
|
| |
| | Programming Languages |
| | 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. | | | Haskell is the most popular functional programming language and is the one that I've used a lot (for example, my Z animator, Jaza). | | | TOM is a new object-oriented programming language that advocates unplanned reuse of code (classes can be extended in very flexible ways, even without source code for them). |
|
http://www.cs.waikato.ac.nz/~marku/languages.html
(2231 words)
|
|
| |
| | PC AI - Logic Programming |
| | 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. | | | 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. | | | Links to logic programming information including general repositories, Prolog, window system interfaces, other logic programming systems, meetings and other related information. |
|
http://www.pcai.com/web/ai_info/logic_programming.html
(400 words)
|
|
| |
| | Logic Software Inc. - Custom Software Development Company Toronto, Canada |
| | Logic Software, Inc. is a rapidly growing custom development and software outsourcing company with headquarters in Toronto, Canada. | | | Learn more about our custom software programming services... | | | "...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. |
|
http://www.logicsoftware.net
(480 words)
|
|
| |
| | The Mercury Project: Introduction |
| | 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. | | | Logic programming languages have been around for more than twenty years. | | | Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. |
|
http://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. | | | The first of these is called Logic Programming and the second is an area of Machine Learning sometimes called Inductive Logic Programming. |
|
http://www.cse.iitd.ernet.in/~ashwin/courses/lpl
(537 words)
|
|
| |
| | FLoC '02 - ICLP |
| | 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. | | | 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. | | | 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. |
|
http://floc02.diku.dk/ICLP
(243 words)
|
|
| |
| | cs107:Introduction to Logic and Logic Programming |
| | 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. | | | 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. |
|
http://www.cs.um.edu.mt/~mros/cs107
(330 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. | | | 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. | | | PAN is designed to be a general purpose process-based parallel logic programming system able to exploit various forms of parallelism (AND,OR,combinations). |
|
http://www.cee.hw.ac.uk/Databases/logic_prog
(1000 words)
|
|
| |
| | TyRuBa -- Logic Meta Programming for Java |
| | Aspect-Oriented Logic Meta Programming a paper which elaborates an example of how TyRuBa 5.x was used to do Aspect Oriented Programming. | | | It was implemented as part of my Ph.D. work as a system to experiment with the idea of type-oriented logic meta programming. | | | Type Oriented Logic Meta Programming: my Ph.D. dissertation, the origin of TyRuBa. |
|
http://tyruba.sourceforge.net
(913 words)
|
|
| |
| | Links for "Logical Systems" |
| | Research Groups for Mathematical Logic, Philosophical Logic and Theoretical Computer Science. | | | Berkeley Group in Logic and the Methodology of Science. | | | An Overview of Nonmonotonic Reasoning and Logic Programming. |
|
http://www.earlham.edu/~peters/courses/logsys/lslinks.htm
(712 words)
|
|
| |
| | LOGPRO home |
| | Our current research concerns the implementation of logic programming systems and deductive databases, methods for developing correct programs and debugging of constraint programs. | | | ...to the Logic Programming Laboratory of the Department of Computer and Information Science, Linköping University. | | | Here is a demo-version of the Reviewer's Workbench; a Prolog CGI program used for management of the program committee work of ILPS97. |
|
http://www.ida.liu.se/labs/logpro
(211 words)
|
|
| |
| | Ladder Logic Programming |
| | 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. | | | However, if you've programmed in high level languages before don't be fooled by that last part. | | | There are two vertical lines coming down the programming environment, one on the left and one on the right. |
|
http://xtronics.com/toshiba/Ladder_logic.htm
(2026 words)
|
|
| |
| | Cetus Links: 18,452 Links on Objects and Components / Prolog |
| | Prolog Programming in Depth (Covington, Nute, and Vellino) | | | Deontic Logic in Computer Science (Meyers and Wieringa, Eds). | | | Inductive logic often uses a schema of classes, instances and attribute values to define a rule base. |
|
http://www.cetus-links.org/oo_prolog.html
(2177 words)
|
|
| |
| | FreeTechBooks.com - 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. | | | Intended for undergraduate students who have some programming experience and may even have written a few programs in Prolog. | | | Requires no knowledges in any formal course in either propositional or predicate logic. |
|
http://www.freetechbooks.com/forum-13.html
(185 words)
|
|
| |
| | BYTE.com |
| | 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. | | | Execution of a Prolog program proceeds by a process called unification, which searches a database of such facts and finds those values that will satisfy a user's query. | | | Prolog is based on first-order predicate logic, and the objects that it manipulates are pure symbols with no intrinsic meaning. |
|
http://www.byte.com/art/9502/sec13/art3.htm
(1828 words)
|
|
| |
| | Hierarchical Constraint Logic Programming - Wilson (ResearchIndex) |
| | 248 The Semantics of Predicate Logic as a Programming Language (context) - Van Emden, Kowalksi - 1976 ACM DBLP | | | 32 The Definition and Implementation of a Computer Programming.. | | | 150 Logic Semantics for a Class of Committed-choice Programs (context) - Maher - 1987 DBLP |
|
http://citeseer.ist.psu.edu/24834.html
(1201 words)
|
|
| |
| | Naomi Lindenstrauss Home Page |
| | Dershowitz, N. Lindenstrauss, Y. Sagiv, and A. Serebrenik, "A General Framework for Automatic Termination Analysis of Logic Programs", Applicable Algebra in Engineering, Communication and Computing, vol. | | | The benchmarks from D. De Schreye and S. Decorte, Termination of Logic Programs: the Never-Ending Story, J. Logic Programming, 19/20:199-260, 1994 --- unzipped. | | | The benchmarks from D. De Schreye and S. Decorte, Termination of Logic Programs: the Never-Ending Story, J. Logic Programming, 19/20:199-260, 1994 --- zipped. |
|
http://www.cs.huji.ac.il/~naomil
(403 words)
|
|
| |
| | CICLOPS 2003 |
| | The discussion will be focused on both design, implementation, and optimization of logic and constraint programming systems. | | | 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. | | | This flexibility is the key to implicit exploitation of parallelism, allowing immediate and transparent reuse of logic and constraint programs written for sequential machines. |
|
http://www.ncc.up.pt/~rslopes/CICLOPS03
(586 words)
|
|
| |
| | Functional Logic Programming |
| | Functional logic programming aims to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming. | | | In comparison with pure logic languages, functional logic languages have a more efficient operational behavior since functions provide for more efficient evaluation strategies (lazy evaluation, deterministic reductions) than predicates. | | | In comparison with pure functional languages, functional logic languages have more expressive power due to the availability of features like function inversion, partial data structures, existential variables, and non-deterministic search. |
|
http://www.informatik.uni-kiel.de/~mh/FLP
(142 words)
|
|
| |
| | Inductive Logic Programming |
| | This book is an introduction to inductive logic programming (ILP), a research field at the intersection of machine learning and logic programming, which aims at a formal framework as well as practical algorithms for inductively learning relational descriptions in the form of logic programs. | | | researchers and graduates in artificial intelligence, machine learning, logic programming, software engineering and database methodology. | | | The book extensively covers empirical inductive logic programming, one of the two major subfields of ILP, which has already shown its application potential in the following areas: knowledge acquisition, inductive program synthesis, inductive data engineering, and knowledge discovery in databases. |
|
http://www-ai.ijs.si/SasoDzeroski/ILPBook
(297 words)
|
|
| |
| | eXtreme Programming |
| | If you're a programmer who would like to experience and learn test-first programming, best practices of unit and acceptance testing and when and how to refactor your code, this workshop is for you. | | | PairDraw is a simulation of pair-programming, a controversial practice of eXtreme Programming. | | | eXtreme Programming is designed to turn the messy business of software development into a coherent, simple process. |
|
http://www.industriallogic.com/xp
(577 words)
|
|
| |
| | Amzi! Prolog+Logic Server, Adventure in Prolog tutorial, Expert Systems in Prolog, Freeware, Articles, Source Code, ... |
| | Tutorials — Learn Logic Programming and Expert Systems. | | | Prolog + Logic Server — Embeddable, extendable Prolog for programmers to build high-performance rule-based systems. | | | The Dr. Dobb's Journal/AI Expert Newsletter covers a variety of AI topics such as quantum computing, artificial life, robotics, practical applications, games, ontologies, the Semantic Web, chat bots, and fuzzy logic. |
|
http://www.amzi.com
(685 words)
|
|
| |
| | perl.com: Logic Programming with Perl and Prolog |
| | Prolog is a logic programming language often used in AI work, based upon predicate calculus and first developed in 1972. | | | For the sake of demonstration, I would like to frame a simple problem and solution that illustrate the individual strengths of Perl and Prolog, respectively. | | | Moreover, I hope that my example implementation demonstrates the ease with which one can address complex logical relationships. |
|
http://www.perl.com/pub/a/2005/12/15/perl_prolog.html
(790 words)
|
|
| |
| | [No title] |
| | A logical formalism for expressing update phemomena in databases, logic programming and AI. | | | Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, 1993. | | | A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. |
|
http://www.cs.sunysb.edu/~kifer/dood/papers.html
(258 words)
|
|
| |
| | Logic Programming Associates |
| | WIN-PROLOG is the leading Prolog system for Microsoft Windows, providing the best available programming environment for this established and powerful AI language. | | | VisiRule is a graphical tool for designing, developing and delivering business rule and decision support applications, simply by drawing a flowchart that represents the decision logic. | | | Use SQUID (Simple Query Utilising Independent Descriptors) to search the LPA Website directly from this page, or by clicking "Search" on any page. |
|
http://www.lpa.co.uk
(129 words)
|
|
| |
| | Juergen Dix |
| | I am on the Editorial Board of AI Communications: The European Journal of Artificial Intelligence, of Annals of Mathematics and Artificial Intelligence (AMAI) as well as of Journal of applied Logic. | | | From 2001-2004 I was Reader for the foundations of logic and knowledge representation in the Computer Science Department of | | | (nonmonotonic reasoning, logic programming, deductive databases, knowledge representation), I am also involved in |
|
http://www.cs.man.ac.uk/~jdix
(370 words)
|
|
| |
| | Amazon.com: Logic-Based Knowledge Representation (Logic Programming): Books: Peter Jackson,Han Reichgelt,Frank ... |
| | It presents research done by members of the expert systems group of the Department of Artificial Intelligence in Edinburgh, often in collaboration with others, based on two hypotheses: that logic is a suitable knowledge representation language, and that an explicit representation of the control regime of the theorem prover has many advantages. | | | This book explores the building of expert systems using logic for knowledge representation and meta-level inference for control. | | | They devote the remaining chapters to the solution of problems that arise from the restrictions imposed by Socrates's representation language and from the system's inefficiency. |
|
http://www.amazon.com/exec/obidos/tg/detail/-/026210038X?v=glance
(563 words)
|
|
| |
| | Logic Programming |
| | Possible other sites we run but that are not related to logic programming that may interest you include chibineko and chemint. | | | access to papers on the net relating to logic programming and constraint logic programming. | | | This web page is devoted to the development of the use of logic programming and Prolog world-wide. |
|
http://www.logic-programming.org
(103 words)
|
|
| |
| | logic programming from FOLDOC |
| | Nearby terms: logic emulator « Logic for Computable Functions « logic gate « logic programming » Logic Replacement Technology » logic variable » LOGIN | | | 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. |
|
http://foldoc.org/foldoc/foldoc.cgi?logic+programming
(263 words)
|
|
| |
| | KEYENCE: PLC Ladder Logic Programming Software inc. Simulator |
| | includes an editor for easy program editing using Windows © functions and a monitor for real-time monitoring without machine stoppage. | | | KEYENCE: PLC Ladder Logic Programming Software inc. Simulator | | | The Ladder Builder for KV software creates sequence programs in Windonws® |
|
http://world.keyence.com/topics/plc_programming/logic.html
(102 words)
|
|
| |
| | DBLP Bibliography |
| | Journal of Logic Programming, Journal of Functional and Logic Programming, Journal of Symbolic Computation, New Generation Computing,... | | | Acknowledgements: DBLP and The ACM SIGMOD Anthology were partially supported by Universität Trier - Forschungsfonds, ACM SIGMOD, The VLDB Endowment, The EDBT Endowment, and Microsoft Research. |
|
http://www.informatik.uni-trier.de/~ley/db/conf/indexl.html
(88 words)
|
|
| |
| | A declarative logic programming system |
| | KANREN is a declarative logic programming system with first-class relations, embedded in a pure functional subset of Scheme. | | | The system has a set-theoretical semantics, true unions, fair scheduling, first-class relations, lexically-scoped logical variables, depth-first and iterative deepening strategies. | | | Our method can typecheck more programs than it is currently possible in Haskell. |
|
http://kanren.sourceforge.net
(554 words)
|
|
| |
| | Bibliographies on Logic Programming |
| | Bibliography of the book "Inductive Logic Programming: Techniques and Applications" | | | You may use Lucene syntax, available fields are: | | | Bibliography of conference papers in the area of Logic Programming |
|
http://liinwww.ira.uka.de/bibliography/LogicProgramming
(57 words)
|
|
| |
| | ILPNet |
| | ILPNET gathers 20 leading European institutions involved in Inductive Logic Programming (ILP) research. | | | ILPNET is the Inductive Logic Programming European Scientific Network (network no. CP93-44), which was in 1993-96 financially supported by the CEC Action for the Cooperation in Science and Technology with Central and Eastern European Countries. | | | ILPNET periodic progress reports (with a protected access). |
|
http://www-ai.ijs.si/ilpnet
(120 words)
|
|
| |
| | Foundations of Deductive Object-Oriented Databases |
| | The ideas on which the two logics are built are orthogonal, so the logics can be combined in a single, unified declarative formalism. | | | This page describes our work towards the development of a unified logical foundation for deductive object-oriented data languages. | | | FLORA-2: A knowledge base management system that integrates F-logic, Transaction Logic, and HiLog. |
|
http://www.cs.sunysb.edu/~kifer/dood
(125 words)
|
|
|
