Top : Computers : Programming : Languages :
Logic-based
Categories
| Constraint Logic Functional Logic Godel @ Mercury @ Mozart @ Oz @ Prolog @ Tempo @ |
Websites
Develops and popularizes KLIC implementation of concurrent and parallel logic programming language KL1, and related software. Designed in the Fifth Generation Computer Systems (FGCS) project, by Institute for New Generation Computer Technology (ICOT), Japan. Free software.
site exerpt
KLIC Association Index About the Association Software KLIC Related Software Mailing Lists Usage Archives Registration Joining Changes Withdrawal Update History (2000/09/12) The Mailing-Lists Archives are available 1999/04/01) The first release News of the past Last Update 00/09/12 12:06 Copyright © 1999 KLIC...Department of Computing, Imperial College of Science, Technology and Medicine, University of London: group information, software, manuals, FAQs, ALP link, LP links.
http://www-lp.doc.ic.ac.uk/
A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering among other things evaluation through full SLG resolution.
site exerpt
XSB It is being developed at the Computer Science Department of the Stony Brook University, in collaboration with Katholieke Universiteit Leuven, Universidade Nova de Lisboa, Uppsala Universitet and XSB, Inc. XSB is kindly hosted by Sourceforge. You can directly access the...A logic-based query and transformation language for XML and semistructured data.
http://xcerpt.org/
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.
site exerpt
XE documentation The report consists of the header page, the contents, the report text, and the index. Arkko, J Hirvisalo, V Kuusela, J Nuutila, E Tamminen, M XE Reference Manual, Report HTKK-TKO-A26, 1989, 109 p. The report consists of the header page,...A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects.
site exerpt
DBLP Bibliography Anthology were partially supported by Universitt Trier Forschungsfonds, ACM SIGMOD, The VLDB Endowment, The EDBT Endowment, and Microsoft Research. Numerous volunteers helped to collect and maintain the information provided by this server. DBLP Home Search: Author, Title Conferences Journals] Copyright...Affiliated with the comp.lang.prolog newsgroup this repository includes general information, Prolog, Window system interfaces, other logic-programming systems, meetings, books and related information.
site exerpt
The World Wide Web Virtual Library: Logic Programming Bowen if you know of relevant on-line information not included here. Use the comp.lang.prolog newsgroup for queries related to logic programming in general and Prolog in particular. This document contains some pointers to information on Logic Programming available around the...Forum for exchange of information on the area of logic programming (LP) and nonmonotonic reasoning (NR): questions in LP related to NR, and in aspects of NR that bear directly on LP: definitions, links to software and related sites.
site exerpt
Logic Programming and Nonmonotonic Reasoning WELCOME to the LPNMR! Links2Go Logic_Programming Special Interest Group on Logic Programming and Nonmonotonic Reasoning Purpose Forthcoming events Archive LPNMR Software available Research Projects People of LPNMR Positions Related sites If you have any questions, comments, or suggestions, please send...Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.
site exerpt
Maude Download latest version of Maude 2 All Maude 2 versions Maude 2 License Looking for Maude 1?...This open-source language licensed under GPL is a superset of Java with Prolog-like extensions.
http://www.forestro.com/kiev/index.html
Build a program immediately from data processing examples: AI language, simpler than Prolog, based on generalization and matching of unconstrained text processing samples.
site exerpt
Build a program immediately from data processing examples Build a program immediately from data processing examples Sampletalk Language Programming Technology: Data processing example abstraction immediately becomes a useful program if text matching is in focus A. Gleibman andrew AT sampletalk com p class=DefinitionList style mar...As part of a survey of information on artificial intelligence this section on logic programming is provided.
site exerpt
PC AI Logic Programming 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. Glossary Link Logic Programming...Declarative temporal logic programming language for: general purpose programming, simulation, modeling reactive systems. Starlog programs consist of 2 components: a set of timed facts, a set of temporal logic rules. Somewhat like Prolog.
site exerpt
The Starlog Project at the University of Waikato Starlog is designed to be a general purpose programming language, and is particularly useful for simulation, and for modelling reactive systems. Although most logic programming languages (e.g. Prolog) are query driven (i.e. are evaluated top-down Starlog programs are evaluated bottom-up...Logic programming papers.
ftp://ftp.ms.uky.edu/pub/lpnmr/
Department of Computer and Information Science, Brooklyn College of the City University of New York. Home of the 2LP Language, runs on Linux, RS6000, SGI, Solaris, SunOS, Windows; download yours now. Free. Cool logo.
site exerpt
Logic-Based Systems Lab Here you can find out more about the research done in the lab Disjunctive Programming and Cooperating Solvers Decomposition of Disjunctive Linear Programs for Fixed-Income Portfolio Selection Logic, Modeling and Programming Parallel Integer Goal Programming Distributed Programming and Disjunctive Programming...Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented in Java and provides a simple command-line interface.
site exerpt
TyRuBa Logic Meta Programming for Java Tyruba project page on sourceforge. What is TyRuBa? TyRuBa is a logic-meta-programming system which was designed to be used for generating Java code. It was implemented as part of my Ph.D. work as a system to experiment with the idea...Information on European ESPRIT Basic Research (funded) NoE, concerned with computational logic. Large community of European researchers, over 80 nodes at leading universities, businesses.
site exerpt
COMPULOG NET Network of Excellence Computational logic involves the combination of computation and logic using, for example, logic programming techniques such as Prolog. The ESPRIT Basic Research funded COMPULOG NET is a large European community of researchers consisting of more than 80 nodes in leading...Clear explanation of logic programming, and merits of declarative languages.
site exerpt
What are Logic Programming and Prolog? There are many ways of organizing computations. Perhaps the most familiar paradigm is procedural: the program specifies a computation by saying how it is to be performed. FORTRAN, C, and even object-oriented languages fall under this general approach. Another paradigm...A pure, minimal but extensible, logic-programming/specification language with meta-language capability is described. The paradigm involved explicitly separates declarative specification from ensuing transformation.
site exerpt
Axiomatic Language Home Page Axiomatic Language A minimal pure-specification logic programming language with meta-language capability. contact: Walter W. Wilson wwwilson1 sbcglobal net papers on axiomatic language A Minimal Specification Language LOPSTR 2000 Pre-Proceedings (HTML (revised transparencies: HTML (revised Beyond PROLOG: Software Specification by Grammar...The Association for Logic Programming promotes all activities concerning the theory and application of logic programming in computer science, related disciplines and industry. The archive of the ALP Newsletter provides content and links regarding the field.
site exerpt
The Association of Logic Programming (ALP) Your browser not support frames. Sorry about this, but you need a better browser....A logic-based language for dynamic programming. Equational inference rules derive theorems with associated values, e.g. probabilities in statistical AI. Supports prioritization, pruning and parameter training. Compiles into fast, handy C++ classes. Developed within an open-source project.
http://www.dyna.org
In the last few years, ever more events overlapping in technical scope with LICS (Symposium on Logic in Computer Science) are scheduled with no coordination, often causing conflicts: 1995 LICS and FPCA were at the exact same time and place. This page attempts to aid coordination.
http://cm.bell-labs.com/cm/cs/who/libkin/lics/logic-confs.html