the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments
Examples of 'logic programming' in a sentence
logic programming
The results of the paper contribute to a better understanding of the semantics of higher-order logic programming.
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou 2015, 'Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs',Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1509.03013v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Two environments of mathematical programming (in particular, integer programming) and declarative programming (in particular, constraint logic programming) were integrated.
Sitek Pawel, Wikarek Jaroslaw 2014, 'A Hybrid Method for the Modelling and Optimisation of Constrained Search Problems',Foundations of Managementhttp://www.degruyter.com/view/j/fman.2013.5.issue-3/fman-2014-0016/fman-2014-0016.xml?format=INT. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming.
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou 2015, 'Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs',Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1509.03013v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)