www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast! [ einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Sonstige" - Prolog Syntax
Prolog Syntax < Sonstige < Programmiersprachen < Praxis < Informatik < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Sonstige"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Prolog Syntax: Äquivalenzzeichen u.ä.
Status: (Frage) überfällig Status 
Datum: 16:43 Do 21.01.2010
Autor: cluedo

Hi Leute,
ich versuche gerade nach langer zeit mal wieder was mit prolog zu schreiben. es geht um einfache aussagenlogik, aber ich komme einfach nicht dahinter, wie ich das in prolog syntax umsetzen kann... meine formelmenge ist diese:

$$A [mm] \Leftrightarrow B\\ [/mm]
B [mm] \Leftrightarrow \neg C\\ [/mm]
C [mm] \Leftrightarrow (A\Leftrightarrow [/mm] B) $$

es geht bei mir schon damit los, dass ich nicht sicher bin, wie das äquivalenzzeichen übergeben werden muss, denn :- ist ja einfach nur eine implikation... ich hoffe ihr könnt mir einen tip geben.

viele grüße
        
Bezug
Prolog Syntax: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:20 So 24.01.2010
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Sonstige"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]