Warum schreibt der? Wie bin ich dazu gekommen jetzt, mit 61 noch anzufangen zu bloggen? Das man mit geschrieben Texten Menschen berühren kann, sieht man ja nicht nur bei den Buchmessen nicht nur in Deutschland. Angefangen hat es damit, dass die größte Schwester meiner Frau an Krebs verstarb. Sie war alleinstehend ohne eigene Familie, aber wie ihre Geschwister und damit ja auch meine Frau und ich sie auf ihrem letzen Weg, zuletzt auch im Hospiz, begleitet hat,…
RE: https://fosstodon.org/@interlisp/115938663174490825
Fifth Generation Computer Systems ➝ Quintus Prolog: get it?
In 1985 Xerox announced support for Prolog on its AI workstations and awarded development to Quintus, which delivered the Xerox Quintus Prolog implementation fully integrated with Interlisp-D.
http://www.bitsavers.org/pdf/xerox/interlisp-d/newsletters/AIDispatch_Aug85.pdf#page=9
https://softwarepreservation.computerhistory.org/prolog/#Quintus
Logic programming languages present clear advantages in terms of declarativeness and conciseness. However, the ideas of logic programming have been met with resistance in other programming communities, and have not generally been adopted by other paradigms and languages. This paper proposes a novel way to incorporate logic programming in an existing codebase in a typed functional programming language. Our approach integrates with the host language without sacrificing static typing, and leverages strengths of typed functional programming such as polymorphism and higher-order. We do so by combining three ideas. First, we use the extensible types technique to allow values of the host language to contain logic variables. Second, we implement a unification algorithm that works for any data structure that supports certain operations.Third, we introduce a domain-specific language to define and query predicates. We demonstrate our proposal via a series of examples, and provide aids to make the notation convenient for users, showing that the proposed approach is not just technically possible but also practical. Our ideas have been implemented in the language Haskell with very good results.
Bozhidar Batsov (a.k.a. Bug)
Kegelrobbe 🦭
zett
Paolo Amoroso
The Medley Interlisp Project
jbz
José A. Alonso
aparatorul