[Prolog] compiler / help

[Dash2in1]

Niet zo'n populaire taal hier merk ik

Anyway, wat wordt als een prettige compiler beschouwd? Het liefst zou ik ook wel wat help-files enzo er bij hebben aangezien mijn prolog-kennis behoorlijk beroerd is....

[mbravenboer]

M'n vriendin gebruikte SICStus bij logisch programmeren, maar ik heb er verder geen verstand .

Hier is de website:

http://www.sics.se/sicstus/

en hier is de uitgebreide manual:

http://www.sics.se/sicstus/doc

[Jelle Niemantsverdriet]

SWI-Prolog
YAP

zijn nog 2 varianten die bij logisch programmeren werden aangeraden (op de universiteit gebruiken we hier ook Sicstus, maar dat is volgens mij alleen als evaluation copy te downloaden)

[Gerco]

AMZI! Prolog is ook leuk (al ken ik de anderen niet)

www.amzi.com (gratis te downloaden)

[Nexopheus]

Amzi prolog is inderdaat een erg lekker werkend programma.
Beter dan swi....!
Je hebt ook nog Turbo prolog,maar daar zou ik me niet aan wagen als ik jouw was..


Functioneel programmeren is niet zo popi op GoT, Joska is hier wel een liefhebber van volgens mij!

[Upquark]

Op zondag 23 december 2001 00:09 schreef Nexopheus het volgende:
Functioneel programmeren is niet zo popi op GoT, Joska is hier wel een liefhebber van volgens mij!

Ahhh... functioneel programmeren

Miranda, kent iemand dat?

[mbravenboer]

Nexopheus: Functioneel programmeren is niet zo popi op GoT, Joska is hier wel een liefhebber van volgens mij!

Prolog valt toch meer onder z'n eigen paradigma: logisch programmeren?

Ik ben trouwens ook wel een liefhebber van functioneel programmeren . Af en toe komt er wel eens een topic langs. Pas nog:
[topic=344737/1/25]
en
[topic=234010/1/25]
en
[topic=197726/1/25]

[mbravenboer]

Upquark: Ahhh... functioneel programmeren

Lekkere he? .

Miranda, kent iemand dat?

Ik heb nog nooit echt met Miranda gewerkt, maar de concrete syntax van een fp taal maakt niet zoveel uit. Als je er een kent en goed beheersd, beheers je ook vrijwel gelijk alle andere...

Ik vond dit ergens:

Miranda was very successful as a first language. However, it suffered from some problems which ultimately led us to look for a replacement:
- it was a bit of a toy language, and didn't scale well to use in later year subjects.
- it wasn't open, which made it difficult for students to use at home.
- it was being overtaken by languages like Haskell in the research community

We considered a few languages to replace Miranda. Haskell was the most obvious candidate. One of the main reasons for choosing Haskell was the quality of Hugs. Having such a large body of students really requires that they be able to do a lot of their work at home.Without Hugs, I dare say we would have been looking more seriously at other languages.

The transfer from Miranda to Haskell was quite straightforward. Training staff was not a big problem. Type classes and monadic programming being the only tricky topics for people with Miranda experience. You can find our paper on "Haskell for Miranda Programmers" on
http://www.haskell.org/bookshelf/

en hier het artikel Haskell voor Miranda programmeurs
http://www.cs.mu.oz.au/tr_submit/test/cover_db/mu_TR_1999_14.html
hierin worden de verschillen mooi en kort uitgelegd.

[Dash2in1]

mjah, 'k weet niet wat het is, heb eigenlijk min of meer een gronidge hekel aan prolog, maar voor bepaalde dingen vind ik het zo mooi!
Ik noem een voorbeeld: permutaties.
Paar regeltjes zijn genoeg! erg mooi....

edit:
dit was geen boodschap aan bovenstaand bericht, wellicht eens kjiken naar dat haskell-gebeueren

[mbravenboer]

Dash2in1: Paar regeltjes zijn genoeg! erg mooi....

Das inderdaad een voordeel van 'declaratieve' talen .

wellicht eens kjiken naar dat haskell-gebeueren

Altijd leuk, Haskell is in ieder geval een erg mooie taal .

Waar ik een beetje een antipathie tegen heb: prolog wordt veel te snel gekozen als 'de' taal voor intelligente systemen. Op zich is dit wel logisch natuurlijk, maar veel problemen zijn ook, of zelfs beter, in een andere paradigma op te lossen. Een practicum van automatisch redeneren, waarbij je een semantisch tableau moest maken voor een bepaalde stelling heb ik bijvoorbeeld in Java gemaakt . Dat was op zich wel weer ietswat ranzig, maar het was in feite gewoon een programma-transformatie probleem wat ik nu absoluut in Stratego zou schrijven. Stratego is in het algemeen uitermate geschikt voor het manipuleren van constructies als logische formules . Ook Haskell zou af en toe best weleens een hele goede kandidaat kunnen zijn voor het implementeren van 'intellingente' systemen...

[Nexopheus]

Prolog <> Functionele taal

Stom stom stom, tuurlijk logische programmeren..
voor functioneel programmeren inderdaad Haskell, Clean, Mirande, Lisp .....

[Dash2in1]

Hmm, waarschijnlijk is het een "rtfm-vraag", maar goed, na gekeken te hebben heb ik het niet kunnen vinden.
Heb SWI prolog gedownload, het werkt wel, maar ik wil gewoon met een ; door kunnen gaan met het vinden van de volgende oplossing. Hoe krijg ik dat voor elkaar?
(let even niet op naamgeving )

code:

permute([],[]).
permute(X,Y):- 
    var(X), 
    permute(Y,X).
permute(L1, [L2H | L2T]):- 
    not(var(L1)),
    append(L1F1,[L2H | L1F2], L1),
    append(L1F1,L1F2, L1S),
    permute(L1S, L2T).

[Upquark]

Op zondag 23 december 2001 05:19 schreef mbravenboer het volgende:
en hier het artikel Haskell voor Miranda programmeurs
http://www.cs.mu.oz.au/tr_submit/test/cover_db/mu_TR_1999_14.html
hierin worden de verschillen mooi en kort uitgelegd.

Bedankt, die had ik nog niet gezien!