logic

17calore

4risposta

Cosa c'è di più interessante o potente: Curry, Mercury o Lambda-Prolog?

Vorrei chiederti quale sistema formale potrebbe essere più interessante da implementare da zero/reverse engineer. Ho esaminato alcuni progetti esistenti e open source di sistemi di programmazione logi

logic prolog logic-programming mercury curry 2010-06-01

---

6calore

3risposta

Esempio reale di unificazione nella logica del primo ordine?

So che questa è solo una parte di una domanda di programmazione, ma al momento sto facendo un po 'di programmazione logica. Una cosa che ancora non capisco correttamente è Unificazione nella logica de

computer-science logic unification 2010-06-02

---

10calore

3risposta

C: XNOR/Exclusive-Nor gate?

sto cercando di trovare il modo più efficace di scrivere un cancello XNOR in C. if(VAL1 XNOR VAL2) { BLOCK; } Qualche suggerimento? Grazie.

c logic xor 2010-06-06

---

5calore

3risposta

Separazione di presentazione e business logic in PHP

Sto programmando il mio primo vero sito Web PHP e mi sto chiedendo come rendere il mio codice più leggibile a me stesso. Il libro di riferimento che sto usando è PHP e MySQL Web Development 4th ed. Il

php logic presentation 2010-06-15

---

9calore

4risposta

come analizzare una serie di logica booleana in PHP

Sto costruendo una classe PHP con una funzione di membro privata che restituisce un valore stringa come: 'true && true || false' a una funzione membro pubblica. (Questa stringa è il risultato di alc

php string logic boolean 2010-05-03

---

15calore

2risposta

Qual è il modo Objective-C di ottenere un bool nullable?

Come dovrei ottenere il valore bool che posso assegnare vero, falso e nullo a in Objective-C? Qual è il modo in cui Objective-C fa questo? Molto simile al Nullable di C#. Sto cercando di essere in gra

objective-c types logic boolean 2010-08-11

---

8calore

3risposta

L'operatore `` ?? `` usa cortocircuiti?

L'operatore ?? in C# utilizza cortocircuiti durante la valutazione? var result = myObject ?? ExpressionWithSideEffects(); Quando myObject non è nullo, il risultato di ExpressionWithSideEffects() non

c# logic operator-keyword 2010-06-23

---

28calore

7risposta

XOR di tre valori

Qual è il modo più semplice per eseguire un OR esclusivo a tre vie? In altre parole, ho tre valori e desidero una dichiarazione che valuti solo il vero IFF uno dei tre valori è vero uno. Finora, quest

language-agnostic logic boolean xor boolean-expression 2010-08-12

---

8calore

9risposta

Istruzione switch avanzata all'interno del ciclo while?

Ho appena iniziato il C++ ma ho una conoscenza pregressa in altre lingue (vb un po 'indietro purtroppo), ma ho una situazione strana. Mi è piaciuta utilizzando tanti istruzioni IF e volevo usare inter

c++ logic switch-statement while-loop break 2010-05-07

---

7calore

2risposta

Una domanda sulla logica e sulla corrispondenza di Curry-Howard

Potresti spiegarmi quale è la connessione di base tra i fondamenti della programmazione logica e il fenomeno della somiglianza sintattica tra i sistemi di tipi e la logica convenzionale?

logic logic-programming type-theory curry-howard 2010-05-13

---