From 02515def64dc8832b7c55637c4cff475325bce05 Mon Sep 17 00:00:00 2001
From: TonyLo1 <tony_lofthouse@btinternet.com>
Date: Mon, 3 Aug 2015 17:17:55 +0100
Subject: [PATCH]
---
ALANN/NALLevel1.fs | 3 ---
1 file changed, 3 deletions(-)
diff --git a/ALANN/NALLevel1.fs b/ALANN/NALLevel1.fs
index ef90983..40f8c26 100644
--- a/ALANN/NALLevel1.fs
+++ b/ALANN/NALLevel1.fs
@@ -68,9 +68,6 @@
// forward inference
| Judgement {Term = st1; TV = tv1}, {Term = st2; TV = tv2} ->
firstOrderInference (st1, st2, tv1, tv2)|> List.iter (fun s -> q.Enqueue(Judgement {Term = fst s; TV = snd s}))
- // backward inference
- | Question {Term = st1}, {Term = st2; TV = tv2} ->
- List.iter (fun s -> q.Enqueue(Question {Term = fst s})) (firstOrderInference (st1, st2, tv2, tv2))
| _, _ -> ()
with
| _ as ex -> printfn "Exception in NAL1.syllogisticInference: %s" ex.Message
--
GitLab