Algebraic Logic Functional programming language
id:
algebraic-logic-functional-programming-language-315-16135344
title:
Algebraic Logic Functional programming language
text:
Algebraic Logic Functional (ALF) programming language combines functional and logic programming techniques. Its foundation is Horn clause logic with equality, which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. ALF was designed to be genuine integration of both programming paradigms, and thus any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations. ALF's operatio
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Algebraic_Logic_Functional_programming_language
date created:
date modified:
2024-04-12T05:27:12Z
main entity:
{"identifier":"Q4723982","url":"https://www.wikidata.org/entity/Q4723982"}
image:
fields total:
13
integrity:
13