A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Extended unification algorithms for the integration of functional programming into logic programming

1987
*
The Journal of Logic Programming
*

We can now define

doi:10.1016/0743-1066(87)90002-1
fatcat:62tfw5gz75fglc4ij3acev4bwq
*the*notions*of*term-rewriting systems, reduction, and normal form.*EXTENDED**UNIFICATION**ALGORITHMS*203 Dejkition 5. ... We will define two strategies*for*this purpose: innermost and outermost. .An equivalent characterization*of*confluence is*the*so-called Church-Rosser property [25] . ... D*Extended**unification**algorithms*are considered*for**the**integration**of*a*functional*language*into*a*logic**programming*language. ...##
###
The relation between logic and functional languages: a survey

1986
*
The Journal of Logic Programming
*

*The*main methods to

*extend*

*functional*

*programs*with

*logic*features (i.e.

*unification*) are then considered. ...

*Extending*

*the*Power

*of*

*Functional*Languages There are a number

*of*proposals

*for*adding

*unification*to pattern-matching

*functional*languages, with

*the*aim

*of*partially achieving some typical

*logic*-

*programming*... solutions can be reasonably expected only

*for*specific subclasses

*of*higher-order

*functional*

*programs*. This is therefore still an open research problem. ...

##
###
Embedding boolean expressions into logic programming

1987
*
Journal of symbolic computation
*

*The*fact that there is alaays at most one mgu, i.e.

*the*theory

*of*boolean expressions is unitary, is

*of*particular importance

*for*lbe embedding

*of*

*the*data type 'boolean ,..xpression'

*into*

*logic*

*programming*... Thus PROLOG can be used as a theorem prover

*for*propositional

*logic*. In particular, negation can be treated within

*logic*instead

*of*negation by failure. ... While some parts

*of*

*the*

*algorithm*are still open to improvements,

*the*prototype shows

*the*feasibi]ity

*of*

*integrating*boolean expressions

*into*

*logic*

*programming*. ...

##
###
A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems

2007
*
arXiv
*
pre-print

In this paper we elaborate on a specific application in

arXiv:cs/0610006v2
fatcat:szfxxjpbvzej5jq6mjgbrgnmka
*the*context*of*hybrid description*logic**programs*(hybrid DLPs), namely description*logic*Semantic Web type systems (DL-types) which are used*for*... term typing*of*LP rules based on a polymorphic, order-sorted, hybrid DL-typed*unification*as procedural semantics*of*hybrid DLPs. ...*The*standard untyped*unification**algorithm*in*logic**programming*serves as a tool*for**the*resolution principle. ...##
###
2P-Kt: A logic-based ecosystem for symbolic AI

2021
*
SoftwareX
*

Accordingly, we present 2P-Kt, a reboot

doi:10.1016/j.softx.2021.100817
fatcat:vgsu5pd7rrghhiizxo5rgmciom
*of**the*tuProlog project offering a general, extensible, and interoperable ecosystem*for**logic**programming*and symbolic AI. ... Instead, to maximise their impact,*logic*-based technologies should support and enable*the*general-purpose exploitation*of*all*the*manifold contributions from*logic**programming*. ...*The*authors would like to thank Enrico Siboni*for*his contribution in*the*early phases*of*2P-Kt development. ...##
###
Analysis of residuating logic programs

1995
*
The Journal of Logic Programming
*

Residuation is an operational mechanism

doi:10.1016/0743-1066(94)00105-f
fatcat:cn3fqmck4rf35kquvsxcygzbki
*for**the**integration**of**functions**into**logic**programming*languages. ... , this*function*can never be evaluated, and some answers which are*logical*consequences*of**the**program*are lost. ... D Residuation is an operational mechanism*for**the**integration**of**functions**into**logic**programming*languages. ...##
###
Parametric order-sorted types in logic programming
[chapter]

1991
*
Lecture Notes in Computer Science
*

In this ca~e each instance

doi:10.1007/3540539816_67
fatcat:aw64wrabq5bfpmsqs4rijb6zri
*of**the*type declaration can be used in*the**logic**program*. Secondly, types are related by subset inclusions. ... This paper proposes a type system*for**logic**programming*where types are structured in two .ways. ... A semantically clean*integration**of*such features*into**logic**programming*needs a*unification*procedure on lambda expressions. ...##
###
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees

2015
*
Electronic Proceedings in Theoretical Computer Science
*

FASILL

doi:10.4204/eptcs.173.6
fatcat:b6zucsg3sbctrbhouvku2p4bri
*integrates*and*extends*features coming from MALP (Multi-Adjoint*Logic**Programming*, a fuzzy*logic*language with explicitly annotated rules) and Bousi~Prolog (which uses a weak*unification**algorithm*... FASILL (acronym*of*"Fuzzy Aggregators and Similarity*Into*a*Logic*Language") is a fuzzy*logic**programming*language with implicit/explicit truth degree annotations, a great variety*of*connectives and*unification*...*The*first line*of**integration*, where*the*syntactic*unification**algorithm*is*extended*with*the*ability*of*managing similarity/proximity relations, is*of*special relevance*for*this work. ...##
###
Typed SLD-Resolution: Dynamic Typing for Logic Programming
[article]

2022
*
arXiv
*
pre-print

*The*semantic foundations

*for*

*logic*

*programming*are usually separated

*into*two different approaches. ...

*For*this we define a new typed

*unification*

*algorithm*. Finally we prove

*the*correctness

*of*TSLD-resolution with respect to a typed declarative semantics. ... Here we will

*extend*a previous

*unification*

*algorithm*[MM82] to define a typed

*unification*

*algorithm*, where failure will be separated

*into*f alse, where two terms are not unifiable but may have

*the*same ...

##
###
Pattern driven lazy reduction

1984
*
Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84
*

On

doi:10.1145/800017.800534
dblp:conf/popl/SubrahmanyamY84
fatcat:wsdkv4wnafgkhkwctcr5n2epeu
*the*other hand,*functional**programs*can be equipped with*the*power*of**logic**programming*languages, e.g., Prolog. ... It is shown that this evaluation mechanism works well*for*both*functional**programs*and*logic**programs*that involve "executable"*functions*. ... mechanism*for**integrating**functions*and*logic*. ...##
###
Diagrammatic Evaluation of Visual Mathematical Notations
[chapter]

2002
*
Diagrammatic Representation and Reasoning
*

*The*paper presents constraint-based extensions

*of*picture

*logic*which render it suitable

*for*

*the*specification

*of*such diagram notations and

*the*required transformations. ... This paper discusses picture

*logic*, a visual language

*for*

*the*specification

*of*diagrams and diagram transformations. ... During

*the*time

*of*writing

*the*author was visiting

*the*University

*of*Colorado at Boulder supported by DFG Grant MEll/94. ...

##
###
Page 3952 of Mathematical Reviews Vol. , Issue 91G
[page]

1991
*
Mathematical Reviews
*

Lipeck, Transformation

*of*dynamic*integrity*constraints*into*transaction specifications (pp. 115-142); Guozhu Dong and Seymour Gins- burg, On*the*decomposition*of*datalog*program*mappings (pp. 143-177) ... Payne, Case-free*programs*: An abstraction*of*definite Horn*programs*(pp. 87-101); Chitta Baral, Jorge Lobo and Jack Minker, Generalized well-founded semantics*for**logic**programs*(*extended*abstract) (pp ...##
###
Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch

2021
*
Electronic Proceedings in Theoretical Computer Science
*

As an overriding

doi:10.4204/eptcs.345.27
fatcat:g6rl267yanhrnplstjxihs3q34
*of*our symbolic indexing*algorithm*,*the*same*function*can be delegated to a neural network, serving ground facts to Natlog's resolution engine. ... We introduce Natlog, a lightweight*Logic**Programming*language, sharing Prolog's*unification*-driven execution model, but with a simplified syntax and semantics. ... Introduction With renewed interest in neuro-symbolic AI [8, 10, 7, 2] ,*integration**of**logic**programming*languages*into*deep-learning ecosystems is becoming*of*paramount importance. ...##
###
Page 2553 of Mathematical Reviews Vol. , Issue 98D
[page]

1998
*
Mathematical Reviews
*

*of*

*the*query and

*the*

*integrity*constraints are implied by

*the*

*extended*set

*of*definitions. ...

*of*F -

*unification*

*for*recursive

*functions*. ...

##
###
Research and Development on Knowledge Bases Systems at ICOT

1986
*
Very Large Data Bases Conference
*

Our approach is to investigate knowledge base systems from

dblp:conf/vldb/Itoh86
fatcat:ou5vdxwrvrhf7jye3fhy5jdofa
*the*viewpoint*of**logic**programming*. ... One is a model combining a*logic**programming*system and a database management software system.*The*other is an*integrated*model. ...*The*author wishes to thank*the*members*of**the*KBM working group and*the*people in industry who participated in joint research*programs**for*their helpful discussions.*The*author also thanks Drs. ...
« Previous

*Showing results 1 — 15 out of 9,498 results*