Problem with programs containing discontiguous predicates #1014
Comments
|
I get this: |
|
This is what I get too but when I comment out the lines with discontinguous
definitions
but with both the docker version and my native unix installation I get the
inconsistent_entry error.
…On Wed, 4 Aug 2021 at 11:47, flexoron ***@***.***> wrote:
I get this:
$ git clone ... simsttab
$ cd simsttab
$ ../scryer-prolog/target/release/scryer-prolog simsttab.pl reqs.pl
?- requirements_variables(Rs, Vs),labeling([ff], Vs),print_classes(Rs).
false.
?-
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#1014 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AIUQ7AJNMBB7QPQA5UEDB53T3EEEFANCNFSM5BQS4JDQ>
.
Triage notifications on the go with GitHub Mobile for iOS
<https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675>
or Android
<https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email>
.
--
*===============================================*
*بسم الله الرحمن الرحيم الحمد لله رب العالمين و صلاة و سلاما على الحبيب
محمد رسول الله *
*و اﻷنبياء أجمعين*
*May Allah's Peace and Prayers be upon prophet Mohammad and his fellow
prophets, Amen.*
*=================================================*
*اللهم ارحم والدي الحبيب و اجعله من الذين هم أحياء عند ربهم يرزقون..و بارك
لي في والدتي و لا تحرمني منها أبدا*
*https://www.facebook.com/abouelseoud.saleh
<https://www.facebook.com/abouelseoud.saleh>*
*==============================================*
*Gehan A**bou**elseoud Saleh*
*Phd in** El**ectrical Engineering*
*Faculty of Engineering*
*Alexandria University, Egypt*
*=============================================================*
* In the name of Allah, the Beneficent, the Merciful.**Praise be to Allah,
the Cherisher and Sustainer of the Worlds. **Most Gracious, Most
Merciful. **Master
of the, Day of Judgment. **Thee do we worship, and Thine aid we seek. **Show
us the straight way. **The way of those on whom Thou hast bestowed Thy
Grace, Those whose (portion) is not wrath and who go not astray.*
*بِسْمِ اللَّهِ الرَّحْمَنِ الرَّحِيمِ **الْحَمْدُ لِلَّهِ رَبِّ
الْعَالَمِينَ **الرَّحْمَنِ الرَّحِيمِ **مَالِكِ يَوْمِ الدِّينِ **إِيَّاكَ
نَعْبُدُ وَإِيَّاكَ نَسْتَعِينُ **اهْدِنَا الصِّرَاطَ المُسْتَقِيمَ **صِرَاطَ
الَّذِينَ أَنْعَمْتَ عَلَيْهِمْ غَيْرِ المَغْضُوبِ عَلَيْهِمْ وَلاَ
الضَّالِّينَ *
*============================================================================*
*M**a**y we all be a message of mercy and love from Allah to all His
creatures.*
*إنه من أكثر الأمور إيلاما في هذه الدنيا ألا نجد ممن نحبهم من استشعار
آلامنا و مشاركتنا همومنا ما نرجو و الأشد من ذلك ألما أن نجد أننا مثلهم*
|
|
I don't get the error. You mean these two? |
|
Yes these are the lines I mean.
When I comment them out I get false as you get , but this is not the output
expected as described by the author.
When I leave them uncommented I get:
caught: error(syntax_error(inconsistent_entry),use_module/1)
but even when consulting this simple file I get the same error:
:- discontiguous(p/0).
p :- q.
q.
p.
I get: caught: error(syntax_error(inconsistent_entry),use_module/1)
…On Wed, 4 Aug 2021 at 12:15, flexoron ***@***.***> wrote:
I don't get the error. You mean these two?
simsttab.pl:
/*
:- discontiguous(class_subject_teacher_times/4).
:- discontiguous(class_freeslot/2).
*/
$ ../scryer-prolog/target/release/scryer-prolog simsttab.pl reqs.pl
?- requirements_variables(Rs, Vs),labeling([ff], Vs),print_classes(Rs).
false.
?-
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#1014 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AIUQ7AOB445GYGJEPY7EVWTT3EHLPANCNFSM5BQS4JDQ>
.
Triage notifications on the go with GitHub Mobile for iOS
<https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675>
or Android
<https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email>
.
--
*===============================================*
*بسم الله الرحمن الرحيم الحمد لله رب العالمين و صلاة و سلاما على الحبيب
محمد رسول الله *
*و اﻷنبياء أجمعين*
*May Allah's Peace and Prayers be upon prophet Mohammad and his fellow
prophets, Amen.*
*=================================================*
*اللهم ارحم والدي الحبيب و اجعله من الذين هم أحياء عند ربهم يرزقون..و بارك
لي في والدتي و لا تحرمني منها أبدا*
*https://www.facebook.com/abouelseoud.saleh
<https://www.facebook.com/abouelseoud.saleh>*
*==============================================*
*Gehan A**bou**elseoud Saleh*
*Phd in** El**ectrical Engineering*
*Faculty of Engineering*
*Alexandria University, Egypt*
*=============================================================*
* In the name of Allah, the Beneficent, the Merciful.**Praise be to Allah,
the Cherisher and Sustainer of the Worlds. **Most Gracious, Most
Merciful. **Master
of the, Day of Judgment. **Thee do we worship, and Thine aid we seek. **Show
us the straight way. **The way of those on whom Thou hast bestowed Thy
Grace, Those whose (portion) is not wrath and who go not astray.*
*بِسْمِ اللَّهِ الرَّحْمَنِ الرَّحِيمِ **الْحَمْدُ لِلَّهِ رَبِّ
الْعَالَمِينَ **الرَّحْمَنِ الرَّحِيمِ **مَالِكِ يَوْمِ الدِّينِ **إِيَّاكَ
نَعْبُدُ وَإِيَّاكَ نَسْتَعِينُ **اهْدِنَا الصِّرَاطَ المُسْتَقِيمَ **صِرَاطَ
الَّذِينَ أَنْعَمْتَ عَلَيْهِمْ غَيْرِ المَغْضُوبِ عَلَيْهِمْ وَلاَ
الضَّالِّينَ *
*============================================================================*
*M**a**y we all be a message of mercy and love from Allah to all His
creatures.*
*إنه من أكثر الأمور إيلاما في هذه الدنيا ألا نجد ممن نحبهم من استشعار
آلامنا و مشاركتنا همومنا ما نرجو و الأشد من ذلك ألما أن نجد أننا مثلهم*
|
|
sorry, i don't get the error: |
|
I got the error with both my native linux installation and with the docker
prolog version , too,
Do you have any suggestions what may be causing it, especially, that you
don't get the same error?
I am attaching a screenshot (simsttab runs only without discontiguous and doesn't work correctly)
barq.pl is the simple file you call d.pl.
|
|
check your .scryerrc: or re-install(update) everything: |
|
yasmeen@yasmeen-G41MT-S2PT:~/Documents/ramadan_isA/AI_isA/barq_isA$ scryer-prolog test.pl test.pl is: just copying and pasting the lines without inserting them into a file gives: |
|
ok, the cat command at the shell-prompt is not part of the content and I can't help with docker because I'm not into dockerism. |
|
do you have a $HOME/.scryerrc ? check it! |
|
$HOME/.scryerrc doesn't exist.
I am using ubuntu 14.04
…On Wed, 4 Aug 2021 at 14:16, flexoron ***@***.***> wrote:
do you have a $HOME/.scryerrc ? check it!
.. list the content at the shell prompt..you said you've a unix
installation.
What unix you using?
$ cat $HOME/.scryerrc
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#1014 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AIUQ7AIGDMOKLR3FQIYWJHLT3EVTDANCNFSM5BQS4JDQ>
.
Triage notifications on the go with GitHub Mobile for iOS
<https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675>
or Android
<https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email>
.
--
*===============================================*
*بسم الله الرحمن الرحيم الحمد لله رب العالمين و صلاة و سلاما على الحبيب
محمد رسول الله *
*و اﻷنبياء أجمعين*
*May Allah's Peace and Prayers be upon prophet Mohammad and his fellow
prophets, Amen.*
*=================================================*
*اللهم ارحم والدي الحبيب و اجعله من الذين هم أحياء عند ربهم يرزقون..و بارك
لي في والدتي و لا تحرمني منها أبدا*
*https://www.facebook.com/abouelseoud.saleh
<https://www.facebook.com/abouelseoud.saleh>*
*==============================================*
*Gehan A**bou**elseoud Saleh*
*Phd in** El**ectrical Engineering*
*Faculty of Engineering*
*Alexandria University, Egypt*
*=============================================================*
* In the name of Allah, the Beneficent, the Merciful.**Praise be to Allah,
the Cherisher and Sustainer of the Worlds. **Most Gracious, Most
Merciful. **Master
of the, Day of Judgment. **Thee do we worship, and Thine aid we seek. **Show
us the straight way. **The way of those on whom Thou hast bestowed Thy
Grace, Those whose (portion) is not wrath and who go not astray.*
*بِسْمِ اللَّهِ الرَّحْمَنِ الرَّحِيمِ **الْحَمْدُ لِلَّهِ رَبِّ
الْعَالَمِينَ **الرَّحْمَنِ الرَّحِيمِ **مَالِكِ يَوْمِ الدِّينِ **إِيَّاكَ
نَعْبُدُ وَإِيَّاكَ نَسْتَعِينُ **اهْدِنَا الصِّرَاطَ المُسْتَقِيمَ **صِرَاطَ
الَّذِينَ أَنْعَمْتَ عَلَيْهِمْ غَيْرِ المَغْضُوبِ عَلَيْهِمْ وَلاَ
الضَّالِّينَ *
*============================================================================*
*M**a**y we all be a message of mercy and love from Allah to all His
creatures.*
*إنه من أكثر الأمور إيلاما في هذه الدنيا ألا نجد ممن نحبهم من استشعار
آلامنا و مشاركتنا همومنا ما نرجو و الأشد من ذلك ألما أن نجد أننا مثلهم*
|
|
ok |
|
Here is what I get when I updated rust, cargo and reinstalled scryer prolog.. I only got an error at last line: Here are the detailed update and reinstallation screen output details: yasmeen@yasmeen-G41MT-S2PT:~/Documents/ramadan_isA/AI_isA/barq_isA$ rustup update stable-x86_64-unknown-linux-gnu unchanged - rustc 1.54.0 (a178d0322 2021-07-26) info: cleaning up downloads & tmp directories yasmeen@yasmeen-G41MT-S2PT:~/Documents/ramadan_isA/AI_isA/barq_isA$ git clone https://github.com/mthom/scryer-prolog.git yasmeen@yasmeen-G41MT-S2PT:~/Documents/ramadan_isA/AI_isA/barq_isA$ cd scryer-prolog yasmeen@yasmeen-G41MT-S2PT: |
|
cargo run [--release] means, cargo run == debug version or cargo run --release == without debug info so this is wrong invocation: cargo run [--release] |
|
I corrected this and the error was removed but rerunning the code I still
get same error.
***@***.***:~/Documents/ramadan_isA/AI_isA/barq_isA/scryer-prolog$
cargo build; cargo run --release
Finished dev [unoptimized + debuginfo] target(s) in 6.99s
Finished release [optimized] target(s) in 3.05s
Running `target/release/scryer-prolog`
I restarted new shell:
***@***.***:~/Documents/ramadan_isA/AI_isA/barq_isA$
scryer-prolog simsttab.pl reqs.pl
caught: error(syntax_error(inconsistent_entry),use_module/1)
…On Wed, 4 Aug 2021 at 15:12, flexoron ***@***.***> wrote:
cargo run [--release] means, cargo run == debug version or cargo run
--release == without debug info
$ cargo run
or
$ cargo run --release
so this is wrong invocation: cargo run [--release]
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#1014 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AIUQ7APSEPTMXB5EEZRY26LT3E4CTANCNFSM5BQS4JDQ>
.
Triage notifications on the go with GitHub Mobile for iOS
<https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675>
or Android
<https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email>
.
--
*===============================================*
*بسم الله الرحمن الرحيم الحمد لله رب العالمين و صلاة و سلاما على الحبيب
محمد رسول الله *
*و اﻷنبياء أجمعين*
*May Allah's Peace and Prayers be upon prophet Mohammad and his fellow
prophets, Amen.*
*=================================================*
*اللهم ارحم والدي الحبيب و اجعله من الذين هم أحياء عند ربهم يرزقون..و بارك
لي في والدتي و لا تحرمني منها أبدا*
*https://www.facebook.com/abouelseoud.saleh
<https://www.facebook.com/abouelseoud.saleh>*
*==============================================*
*Gehan A**bou**elseoud Saleh*
*Phd in** El**ectrical Engineering*
*Faculty of Engineering*
*Alexandria University, Egypt*
*=============================================================*
* In the name of Allah, the Beneficent, the Merciful.**Praise be to Allah,
the Cherisher and Sustainer of the Worlds. **Most Gracious, Most
Merciful. **Master
of the, Day of Judgment. **Thee do we worship, and Thine aid we seek. **Show
us the straight way. **The way of those on whom Thou hast bestowed Thy
Grace, Those whose (portion) is not wrath and who go not astray.*
*بِسْمِ اللَّهِ الرَّحْمَنِ الرَّحِيمِ **الْحَمْدُ لِلَّهِ رَبِّ
الْعَالَمِينَ **الرَّحْمَنِ الرَّحِيمِ **مَالِكِ يَوْمِ الدِّينِ **إِيَّاكَ
نَعْبُدُ وَإِيَّاكَ نَسْتَعِينُ **اهْدِنَا الصِّرَاطَ المُسْتَقِيمَ **صِرَاطَ
الَّذِينَ أَنْعَمْتَ عَلَيْهِمْ غَيْرِ المَغْضُوبِ عَلَيْهِمْ وَلاَ
الضَّالِّينَ *
*============================================================================*
*M**a**y we all be a message of mercy and love from Allah to all His
creatures.*
*إنه من أكثر الأمور إيلاما في هذه الدنيا ألا نجد ممن نحبهم من استشعار
آلامنا و مشاركتنا همومنا ما نرجو و الأشد من ذلك ألما أن نجد أننا مثلهم*
|
|
sorry I'm afraid I can't help. try this again and make sure you using your new scryer program which you've just build. |
|
Thank you very much for your support and patience. Entering the full path
to scryer-prolog I no longer get the error.
However, the "false" that we both get is not the correct output. Instead we
should get a timetable.txt file containing the timetable.
Do you have any suggestions or should I return to the author of simsttab.pl?
***@***.***:~/Documents/ramadan_isA/AI_isA/barq_isA/scryer-prolog/simsttab$
'/home/yasmeen/Documents/ramadan_isA/AI_isA/barq_isA/scryer-prolog/target/release/scryer-prolog'
simsttab.pl reqs.pl
?- requirements_variables(Rs, Vs),
labeling([ff], Vs),
print_classes(Rs).
false.
…On Wed, 4 Aug 2021 at 15:34, flexoron ***@***.***> wrote:
sorry I'm afraid I can't help. try this again and make sure you using your
new scryer program which you've just build.
$ git clone https://github.com/triska/simsttab.git && cd simsttab
$ ../scryer-prolog/target/release/scryer-prolog simsttab.pl reqs.pl
?- requirements_variables(Rs, Vs),labeling([ff], Vs),print_classes(Rs).
false.
?-
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#1014 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AIUQ7AL4PCURO72GXL2IENTT3E6XHANCNFSM5BQS4JDQ>
.
Triage notifications on the go with GitHub Mobile for iOS
<https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675>
or Android
<https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email>
.
--
*===============================================*
*بسم الله الرحمن الرحيم الحمد لله رب العالمين و صلاة و سلاما على الحبيب
محمد رسول الله *
*و اﻷنبياء أجمعين*
*May Allah's Peace and Prayers be upon prophet Mohammad and his fellow
prophets, Amen.*
*=================================================*
*اللهم ارحم والدي الحبيب و اجعله من الذين هم أحياء عند ربهم يرزقون..و بارك
لي في والدتي و لا تحرمني منها أبدا*
*https://www.facebook.com/abouelseoud.saleh
<https://www.facebook.com/abouelseoud.saleh>*
*==============================================*
*Gehan A**bou**elseoud Saleh*
*Phd in** El**ectrical Engineering*
*Faculty of Engineering*
*Alexandria University, Egypt*
*=============================================================*
* In the name of Allah, the Beneficent, the Merciful.**Praise be to Allah,
the Cherisher and Sustainer of the Worlds. **Most Gracious, Most
Merciful. **Master
of the, Day of Judgment. **Thee do we worship, and Thine aid we seek. **Show
us the straight way. **The way of those on whom Thou hast bestowed Thy
Grace, Those whose (portion) is not wrath and who go not astray.*
*بِسْمِ اللَّهِ الرَّحْمَنِ الرَّحِيمِ **الْحَمْدُ لِلَّهِ رَبِّ
الْعَالَمِينَ **الرَّحْمَنِ الرَّحِيمِ **مَالِكِ يَوْمِ الدِّينِ **إِيَّاكَ
نَعْبُدُ وَإِيَّاكَ نَسْتَعِينُ **اهْدِنَا الصِّرَاطَ المُسْتَقِيمَ **صِرَاطَ
الَّذِينَ أَنْعَمْتَ عَلَيْهِمْ غَيْرِ المَغْضُوبِ عَلَيْهِمْ وَلاَ
الضَّالِّينَ *
*============================================================================*
*M**a**y we all be a message of mercy and love from Allah to all His
creatures.*
*إنه من أكثر الأمور إيلاما في هذه الدنيا ألا نجد ممن نحبهم من استشعار
آلامنا و مشاركتنا همومنا ما نرجو و الأشد من ذلك ألما أن نجد أننا مثلهم*
|
|
I've no idea. |
|
I'll mark here as closed and keep monitoring the issue I opened at (simsttab), hoping the author will help us. Thank you very much. I really appreciate your support. My best wishes to you. |
|
I'll mark here as closed and keep monitoring the issue I opened at (simsttab), hoping the author will help us. Thank you very much. I really appreciate your support. My best wishes to you. |
|
Yes, please let's continue the discussion in triska/simsttab#3. Thank you a lot! |
Whenever I try running any program containing discontiguous predicate definition: I get the error:
error(syntax_error(inconsistent_entry),use_module/1)
I was trying to run https://github.com/triska/simsttab
when I got this error, I tried simpler codes containing discontiguous predicate definitions and got the same error.
The text was updated successfully, but these errors were encountered: