Logic Programming From the Point of View of Type Theory and Predicate Linear Logic

Authors : Liberios Vokorokos, Zuzana Bilanová, Zuzana Dankovičová.

Volume/Issue : Volume 3 - 2018, Issue 7 - July

Google Scholar : https://goo.gl/DF9R4u

Scribd : https://goo.gl/ghK8Tr

Thomson Reuters ResearcherID : https://goo.gl/3bkzwv

In this article we will deal with the analysis of several logic programming languages and their interpreters, including their theoretical origins. Logic programming is based on the first order predicate logic, as is the case with Prolog, with which we explain the basic principles of such an approach. Subsequently, we will describe non-traditional logical systems in logic programming – programming with higher-order logic represented by the λProlog programming language and source-oriented logic programming represented by the Vorvan programming language.

Keywords : linear logic; logical programming; first order predicate logic; theory of types.


Paper Submission Last Date
31 - May - 2020

Paper Review Notification
In 1-2 Days

Paper Publishing
In 2-3 Days

Never miss an update from Papermashup

Get notified about the latest tutorials and downloads.

Subscribe by Email

Get alerts directly into your inbox after each post and stay updated.

Subscribe by RSS

Add our RSS to your feedreader to get regular updates from us.