logic-functional

Thread View: comp.lang.functional

3 messages

[T] Back to Threads [V] Tree View [G] Group Articles

3 total messages Started by Rudolf Opalla Wed, 30 Sep 1992 13:44

#606

Author: Rudolf Opalla
Date: Wed, 30 Sep 1992 13:44

39 lines
2456 bytes

I don't know if this is the correct group, but if anyone is interested - I
have posted the logic-functional language-system ALF to ftp.germany.eu.net
(simpson.germany.eu.net).

ALF (Algebraic Logic Functional programming language)
is a language which combines functional and logic programming techniques.
The foundation of ALF is Horn clause logic with equality
which consists of predicates and Horn clauses for logic
programming, and functions and equations for functional programming.
Since ALF is an integration of both programming paradigms,
any functional expression can be used in a goal literal and
arbitrary predicates can occur in conditions of equations.
The abstract machine is based on the Warren Abstract Machine (WAM)
with several extensions to implement narrowing and rewriting.
In the current implementation programs of this abstract machine are
executed by an emulator written in C.

You can find it in the path "/pub/programming/languages/LogicFunctional".
There are three files which contain:
  - alf_sys.zoo:  - Documentation (englisch),
                  - C-Sources (for the emulator) - should work with all 16/32
                    bit-systems,
                  - Compiled version of the preprocessor (see below)
                  - Compiled version of the compiler         "
                  - some basic modules
                  - small examples

  - alf_pp.zoo:   ALF-Sources for the preprocessor (type-checking, manages a
                  modul-concept, ...)

  - alf_comp.zoo: ALF-Sources for the compiler, translates the preprocessors
                  output to:
                  - a file which is executable through the emulator
                  - WAM-like instructions (text)

 ____________________________________________________________
|                                                            |
| Rudolf Opalla  -  opalla@julien.informatik.uni-dortmund.de |
|____________________________________________________________|

Re: logic-functional

#609

Author: Francisco KU
Date: Thu, 01 Oct 1992 00:09

11 lines
867 bytes

opalla@owl.informatik.uni-dortmund.de (Rudolf Opalla) writes:

>I don't know if this is the correct group, but if anyone is interested - I
>have posted the logic-functional language-system ALF to ftp.germany.eu.net
>(simpson.germany.eu.net).
[Deleted...]

	You forgot to set the read permission for the world!!!

----------------
fpk@cs.mu.oz.au

Re: logic-functional

#628

Author: Rudolf Opalla
Date: Fri, 02 Oct 1992 16:01

24 lines
1373 bytes

fpk@munta.cs.mu.OZ.AU writes:

> opalla@owl.informatik.uni-dortmund.de (Rudolf Opalla) writes:
> 
> >I don't know if this is the correct group, but if anyone is interested - I
> >have posted the logic-functional language-system ALF to ftp.germany.eu.net
> >(simpson.germany.eu.net).
> [Deleted...]
> 
>       You forgot to set the read permission for the world!!!
> 
> ----------------
> fpk@cs.mu.oz.au

Sorry,
  I have no access to the files I posted to EU.Net, but I mailed
  to the responsible person, so this should be OK now

         Rudolf Opalla

  _________________________________________________________
 |                                                         |
 | Rudolf Opalla  -  opalla@owl.informatik.uni-dortmund.de |
 |_________________________________________________________|

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads