Opened 6 years ago

Closed 6 years ago

#136 closed defect (fixed)

Compilation of webcourse grammar fails

Reported by: ke Owned by: ke
Priority: major Milestone:
Component: trale-sld Version:
Keywords: Cc:

Description

p264360@pales:~/workspace/kahina/src/org/kahina/tralesld/test/webcourse$ trale -sd Using Trale system found in /home/p264360/dev/trale Starting Trale (no saved state) from sources with text-only interface

Starting Trale

% compiling /home/p264360/dev/trale/startup.pl... % compiling /home/p264360/dev/trale/sics.pl... % module site imported into user % loading /home/p264360/lib/sicstus-3.12.11/library/lists.po... % module lists imported into site % loaded /home/p264360/lib/sicstus-3.12.11/library/lists.po in module lists, 0 msec 23056 bytes % loading /home/p264360/lib/sicstus-3.12.11/library/system.po... % module system imported into site % loading foreign resource /home/p264360/lib/sicstus-3.12.11/library/x86_64-linux-glibc2.5/system.so in module system % loaded /home/p264360/lib/sicstus-3.12.11/library/system.po in module system, 0 msec 47488 bytes % loading /home/p264360/lib/sicstus-3.12.11/library/ordsets.po... % module ordsets imported into site % loaded /home/p264360/lib/sicstus-3.12.11/library/ordsets.po in module ordsets, 0 msec 24416 bytes % loading /home/p264360/lib/sicstus-3.12.11/library/assoc.po... % module assoc imported into site % module lists imported into assoc % loaded /home/p264360/lib/sicstus-3.12.11/library/assoc.po in module assoc, 0 msec 21872 bytes % loading /home/p264360/lib/sicstus-3.12.11/library/charsio.po... % module charsio imported into site % loading foreign resource /home/p264360/lib/sicstus-3.12.11/library/x86_64-linux-glibc2.5/charsio.so in module charsio % loaded /home/p264360/lib/sicstus-3.12.11/library/charsio.po in module charsio, 0 msec 13296 bytes % compiling /home/p264360/dev/trale/sicstus_additions/printlength.pl... % compiled /home/p264360/dev/trale/sicstus_additions/printlength.pl in module site, 0 msec 3168 bytes % compiling /home/p264360/dev/trale/sicstus_additions/sets.pl... % compiled /home/p264360/dev/trale/sicstus_additions/sets.pl in module site, 0 msec 720 bytes % compiling /home/p264360/dev/trale/sicstus_additions/samsort.pl... % compiled /home/p264360/dev/trale/sicstus_additions/samsort.pl in module site, 10 msec 14352 bytes % compiling /home/p264360/dev/trale/sicstus_additions/graphs.pl... % compiled /home/p264360/dev/trale/sicstus_additions/graphs.pl in module site, 0 msec 9296 bytes % compiling /home/p264360/dev/trale/sicstus_additions/case_conv.pl... % compiled /home/p264360/dev/trale/sicstus_additions/case_conv.pl in module site, 0 msec 9616 bytes % compiling /home/p264360/dev/trale/sicstus_additions/strings.pl... % compiled /home/p264360/dev/trale/sicstus_additions/strings.pl in module site, 0 msec 1168 bytes % compiled /home/p264360/dev/trale/sics.pl in module site, 30 msec 265272 bytes % compiling /home/p264360/dev/trale/trale.pl... % compiling /home/p264360/dev/trale/ale.pl... % loading /home/p264360/lib/sicstus-3.12.11/library/terms.po... % module terms imported into user % module assoc imported into terms % loaded /home/p264360/lib/sicstus-3.12.11/library/terms.po in module terms, 0 msec 14496 bytes % module lists imported into user % module ordsets imported into user % loading /home/p264360/lib/sicstus-3.12.11/library/ugraphs.po... % module ugraphs imported into user % module ordsets imported into ugraphs % module lists imported into ugraphs % module assoc imported into ugraphs % loading /home/p264360/lib/sicstus-3.12.11/library/random.po... % module random imported into ugraphs % module assoc imported into random % loading foreign resource /home/p264360/lib/sicstus-3.12.11/library/x86_64-linux-glibc2.5/random.so in module random % loaded /home/p264360/lib/sicstus-3.12.11/library/random.po in module random, 0 msec 11184 bytes % loaded /home/p264360/lib/sicstus-3.12.11/library/ugraphs.po in module ugraphs, 0 msec 92640 bytes % module assoc imported into user % module system imported into user

ALE Version 4.0 alpha; September, 2006 Copyright (C) 1992-1995, Bob Carpenter and Gerald Penn Copyright (C) 1998,1999,2001--2006 Gerald Penn All rights reserved % compiled /home/p264360/dev/trale/ale.pl in module user, 700 msec 1421232 bytes % compiling /home/p264360/dev/trale/sics.pl... % module site imported into user % module lists imported into site % module system imported into site % module ordsets imported into site % module assoc imported into site % module charsio imported into site % compiling /home/p264360/dev/trale/sicstus_additions/printlength.pl... % compiled /home/p264360/dev/trale/sicstus_additions/printlength.pl in module site, 0 msec 2736 bytes % compiling /home/p264360/dev/trale/sicstus_additions/sets.pl... % compiled /home/p264360/dev/trale/sicstus_additions/sets.pl in module site, 0 msec 688 bytes % compiling /home/p264360/dev/trale/sicstus_additions/samsort.pl... % compiled /home/p264360/dev/trale/sicstus_additions/samsort.pl in module site, 0 msec 8400 bytes % compiling /home/p264360/dev/trale/sicstus_additions/graphs.pl... % compiled /home/p264360/dev/trale/sicstus_additions/graphs.pl in module site, 0 msec 7344 bytes % compiling /home/p264360/dev/trale/sicstus_additions/case_conv.pl... % compiled /home/p264360/dev/trale/sicstus_additions/case_conv.pl in module site, 0 msec 8192 bytes % compiling /home/p264360/dev/trale/sicstus_additions/strings.pl... % compiled /home/p264360/dev/trale/sicstus_additions/strings.pl in module site, 0 msec 944 bytes % compiled /home/p264360/dev/trale/sics.pl in module site, 50 msec -14480 bytes % compiling /home/p264360/dev/trale/utilities.pl... % compiled /home/p264360/dev/trale/utilities.pl in module user, 0 msec 1728 bytes % compiling /home/p264360/dev/trale/pth.pl... % module type_hierarchy_compiler imported into user % module site imported into type_hierarchy_compiler % module lists imported into type_hierarchy_compiler % module system imported into type_hierarchy_compiler % module assoc imported into type_hierarchy_compiler % compiled /home/p264360/dev/trale/pth.pl in module type_hierarchy_compiler, 40 msec 109952 bytes

TRALE Version 1.0; June, 2005 Copyright (C) 1999,2003--2005, Gerald Penn All rights reserved % compiling /home/p264360/dev/trale/stcover.pl... % compiled /home/p264360/dev/trale/stcover.pl in module user, 30 msec 60320 bytes

{ALE: signature compiler will assume subtype covering} % compiled /home/p264360/dev/trale/trale.pl in module user, 860 msec 1617536 bytes

OSU TRALE Modules 1.0 Copyright (C) 2002, Detmar Meurers Copyright (C) 2006, Gerald Penn All rights reserved

% compiling /home/p264360/dev/trale/fs2desc.pl... % compiled /home/p264360/dev/trale/fs2desc.pl in module user, 0 msec 13504 bytes % compiling /home/p264360/dev/trale/grammar_interface.pl... % compiled /home/p264360/dev/trale/grammar_interface.pl in module user, 0 msec 33088 bytes % compiling /home/p264360/dev/trale/feature_ordering.pl... % compiled /home/p264360/dev/trale/feature_ordering.pl in module user, 10 msec 38672 bytes % compiling /home/p264360/dev/trale/macro_utils.pl... % compiled /home/p264360/dev/trale/macro_utils.pl in module user, 10 msec 29536 bytes % compiling /home/p264360/dev/trale/extend_access.pl... % compiled /home/p264360/dev/trale/extend_access.pl in module user, 0 msec 36432 bytes % compiling /home/p264360/dev/trale/test_suite_handling.pl... % compiling /home/p264360/dev/trale/chart_display/sic.pl... % compiled /home/p264360/dev/trale/chart_display/sic.pl in module user, 0 msec 11440 bytes % module charsio imported into user % compiled /home/p264360/dev/trale/test_suite_handling.pl in module user, 10 msec 37360 bytes % compiling /home/p264360/dev/trale/trale_extras.pl... % compiling /home/p264360/dev/trale/toplevel.pl... % module toplevel imported into user % compiled /home/p264360/dev/trale/toplevel.pl in module toplevel, 0 msec 2976 bytes % compiled /home/p264360/dev/trale/trale_extras.pl in module user, 10 msec 38592 bytes % compiling /home/p264360/dev/trale/graphviz.pl... % compiled /home/p264360/dev/trale/graphviz.pl in module user, 10 msec 29344 bytes % compiling /home/p264360/dev/trale/chart_display/chart_display.pl... % loading /home/p264360/lib/sicstus-3.12.11/library/sockets.po... % module sockets imported into user % loading foreign resource /home/p264360/lib/sicstus-3.12.11/library/x86_64-linux-glibc2.5/sockets.so in module sockets % loaded /home/p264360/lib/sicstus-3.12.11/library/sockets.po in module sockets, 0 msec 41760 bytes % loading /home/p264360/lib/sicstus-3.12.11/library/timeout.po... % module timeout imported into user % loading foreign resource /home/p264360/lib/sicstus-3.12.11/library/x86_64-linux-glibc2.5/timeout.so in module timeout % loaded /home/p264360/lib/sicstus-3.12.11/library/timeout.po in module timeout, 0 msec 9024 bytes % compiling /home/p264360/dev/trale/chart_display/statistics.pl... % compiled /home/p264360/dev/trale/chart_display/statistics.pl in module user, 0 msec 12336 bytes % compiling /home/p264360/dev/trale/chart_display/print_mrs.pl... % compiled /home/p264360/dev/trale/chart_display/print_mrs.pl in module user, 10 msec 43168 bytes % compiling /home/p264360/dev/trale/chart_display/lr_utils.pl... % compiled /home/p264360/dev/trale/chart_display/lr_utils.pl in module user, 0 msec 2992 bytes % compiled /home/p264360/dev/trale/chart_display/chart_display.pl in module user, 100 msec 372784 bytes % compiling /home/p264360/dev/trale/save_results.pl... % compiled /home/p264360/dev/trale/save_results.pl in module user, 0 msec 15824 bytes % compiling /home/p264360/dev/trale/trale_emacs.pl... % compiled /home/p264360/dev/trale/trale_emacs.pl in module user, 10 msec 16736 bytes

TRALE Milca environment (version 3.0beta1) Copyright (C) 2002-6 Project MILCA A4 All rights reserved

% compiling /home/p264360/dev/trale/trdebug.pl... % compiling /home/p264360/dev/trale/trale-sld/interp.pl... % compiling /home/p264360/dev/trale/trale-sld/tralesld_hooks.pl... % loading /home/p264360/lib/sicstus-3.12.11/library/atts.po... % module attributes imported into user % module lists imported into attributes % loaded /home/p264360/lib/sicstus-3.12.11/library/atts.po in module attributes, 0 msec 26144 bytes % loading /home/p264360/lib/sicstus-3.12.11/library/jasper.po... % module jasper imported into user % module lists imported into jasper % loading foreign resource /home/p264360/lib/sicstus-3.12.11/library/x86_64-linux-glibc2.5/jasper.so in module jasper % loaded /home/p264360/lib/sicstus-3.12.11/library/jasper.po in module jasper, 0 msec 82608 bytes % compiling /home/p264360/dev/trale/ghooks.pl... % compiling /home/p264360/dev/trale/trale_patches.pl... % compiling /home/p264360/dev/trale/grale_forall.pl... % compiled /home/p264360/dev/trale/grale_forall.pl in module user, 0 msec 1056 bytes % compiled /home/p264360/dev/trale/trale_patches.pl in module user, 0 msec 4304 bytes % compiling /home/p264360/dev/trale/socket_interface.pl... % compiled /home/p264360/dev/trale/socket_interface.pl in module user, 0 msec 8288 bytes % compiling /home/p264360/dev/trale/unfill.pl... % compiled /home/p264360/dev/trale/unfill.pl in module user, 0 msec 8512 bytes % consulting /home/p264360/dev/trale/save_results.pl... % consulted /home/p264360/dev/trale/save_results.pl in module user, 0 msec -4016 bytes % compiled /home/p264360/dev/trale/ghooks.pl in module user, 120 msec 209792 bytes % compiled /home/p264360/dev/trale/trale-sld/tralesld_hooks.pl in module user, 190 msec 341056 bytes

ALE Source-Level Debugger Version 3.2.1; December, 2001 Copyright (C) 1997--1999, 2001, Gerald Penn All rights reserved % compiled /home/p264360/dev/trale/trale-sld/interp.pl in module user, 470 msec 832528 bytes % compiling /home/p264360/dev/trale/trale-sld/trinterp.pl... % compiled /home/p264360/dev/trale/trale-sld/trinterp.pl in module user, 0 msec 12784 bytes % compiled /home/p264360/dev/trale/trdebug.pl in module user, 480 msec 847920 bytes

{ALE: source-level debugger is active} % compiled /home/p264360/dev/trale/startup.pl in module user, 1590 msec 3413792 bytes SICStus 3.12.11 (x86_64-linux-glibc2.5): Tue May 10 14:16:47 CEST 2011 Licensed to Kilian Personal | ?- dgo. Using classpath: [kahinatrunk(bin),trale_home(trale-sld/lib/jedit-textArea.jar),kahinatrunk(lib/gralej/gralej.jar),kahinatrunk(lib/gralej/lib/batik-util.jar),kahinatrunk(lib/gralej/lib/jlibeps.jar),kahinatrunk(lib/gralej/lib/batik-awt-util.jar),kahinatrunk(lib/gralej/lib/plugin.jar),kahinatrunk(lib/gralej/lib/batik-svggen.jar),kahinatrunk(lib/gralej/lib/tomato.jar)] New TraleSLDState() and empty signature Current heap size: 61276160 Loading default project: test/webcourse/webcourse-project.xml

Created new project org.kahina.tralesld.data.project.TraleProject?@5829428e loaded project Web-based Course Section 3.2.3 as org.kahina.tralesld.data.project.TraleProject?@5829428e

Loading default project: test/ps94/ps94-project.xml

Created new project org.kahina.tralesld.data.project.TraleProject?@2fdb7df8 loaded project Pollard & Sag (1994), Chapter 8 as org.kahina.tralesld.data.project.TraleProject?@2fdb7df8

Loading default project: test/webcourse/webcourse-project.xml

Created new project org.kahina.tralesld.data.project.TraleProject?@442a15cd loaded project Web-based Course Section 3.2.3 as org.kahina.tralesld.data.project.TraleProject?@442a15cd

Loading default project: test/ps94/ps94-project.xml

Created new project org.kahina.tralesld.data.project.TraleProject@77827284? loaded project Pollard & Sag (1994), Chapter 8 as org.kahina.tralesld.data.project.TraleProject@77827284?

Executing compile command:

Current project: org.kahina.tralesld.data.project.TraleProject?@56b61c3 Compiling theory file: /home/p264360/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl

org.kahina.tralesld.TraleSLDInstance@…(/home/p264360/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl) org.kahina.tralesld.TraleSLDInstance@…()=query dcompile_gram('/home/p264360/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl').(Queue: [query send_signature.]) Loading default project: test/webcourse/webcourse-project.xml

Created new project org.kahina.tralesld.data.project.TraleProject?@5bf2af1c loaded project Web-based Course Section 3.2.3 as org.kahina.tralesld.data.project.TraleProject?@5bf2af1c

Loading default project: test/ps94/ps94-project.xml

Created new project org.kahina.tralesld.data.project.TraleProject?@3db158db loaded project Pollard & Sag (1994), Chapter 8 as org.kahina.tralesld.data.project.TraleProject?@3db158db

Grammar registered. % consulting /home/p264360/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl... % consulting /home/p264360/dev/trale/feature_ordering.pl... % consulted /home/p264360/dev/trale/feature_ordering.pl in module user, 0 msec -4064 bytes

  • clauses for user:(fun)/1 are not together
  • Approximate lines: 47-50, file: '/home/p264360/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'
  • clauses for user:if/2 are not together
  • Approximate lines: 50-54, file: '/home/p264360/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'
  • clauses for user: *> /2 are not together
  • Approximate lines: 57-64, file: '/home/p264360/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'
  • clauses for user: ---> /2 are not together
  • Approximate lines: 459-479, file: '/home/p264360/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'
  • clauses for user:(empty)/1 are not together
  • Approximate lines: 672-682, file: '/home/p264360/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'

% consulted /home/p264360/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl in module user, 10 msec 61520 bytes Reading signature file... signature Compiling type unification... {ALE: Warning: unary branch from move_rel to walk_rel} {ALE: Warning: assuming the following types are maximally specific: acc adv base by cat cont_rel direction_rel e_list fem fin first for functional future_rel give_rel ha_struc hc_struc here_rel hf_struc hs_struc inf it lexical like_rel loc masc minus ne_list neut nom nom_obj none nonloc noun pas past_rel perfect_rel phrase pl plus prep present_rel prp psp rain_rel ref sai_struc say_rel second sg synsem that there third to unmarked val verb walk_rel word } Compiling appropriateness... Compiling extensionality declarations... Computing signature modules... Compiling subtype covering constraints... Compiling functional descriptions... Indexing source files... Compiling type constraints... Computing most general satisfiers... Compiling type promotion... Compiling unification... Compiling definite clauses... {ALE: Warning: first disjunct unsatisfiable in: und_search_rel(_128017,(_128018,(move_rel;tense_rel)),_128019);fail} {ALE: Warning: first disjunct unsatisfiable in: und_search_rel(_128017,(_128018,(move_rel;tense_rel)),_128019);fail} {ALE: Warning: first disjunct unsatisfiable in: und_search_rel(_128017,(_128018,(move_rel;tense_rel)),_128019);fail} {ALE: Warning: first disjunct unsatisfiable in: und_search_rel(_128017,(_128018,(move_rel;tense_rel)),_128019);fail} {ALE: Warning: first disjunct unsatisfiable in: und_search_rel(_128017,(_128018,(move_rel;tense_rel)),_128019);fail} {ALE: Warning: first disjunct unsatisfiable in: und_search_rel(_128017,(_128018,(move_rel;tense_rel)),_128019);fail} Compiling lexical rules... Compiling lexicon... Collecting empty categories... Blocked: und_list_of_synsems/1 ! tralesld_hook_failed(tralesld_call(22,unify(feat(loc),'Local',loc(loc(_468),_471,cat(cat(_461),_464,head(_448,_453,_179,_455,_456,_457,_458,_459),max),max),_480),['/home/p264360/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'|454],d_add_to_lvar(_480,loc(loc(_468),_471,cat(cat(_461),_464,head(_448,_453,_179,_455,_456,_457,_458,_459),max),max),loc,feat(loc)))) | ?-

Change History (5)

comment:1 Changed 6 years ago by ke

Can be worked around by skipping (not autocompleting) the compilation step.

comment:2 Changed 6 years ago by ke

  • Priority changed from critical to major

Deprioritized, can work around it by skipping the compilation step.

comment:3 Changed 6 years ago by ke

Possibly related to #133? Does it also happen with new TRALE revisions (308)?

comment:4 Changed 6 years ago by ke

The reason is that a unify step appears outside of any variable-scoping step (rule, comp_clause, fun_clause, cons, lex, lr), resulting in an attempt to peek at the empty varscopestack. Below's a trace.

This *might* have to do with the unify step appearing as an unblocked goal. This would point to a deeper issue, it would indicate that we are not maintaining the varscopestack properly for delayed goals (I fear this is the case). But the reason may also be simpler - we might just not have a complete list of variable-scope-introducing step types yet.

Further investigation needed.

| ?- dgo. Using classpath: [kahinatrunk(bin),trale_home(trale-sld/lib/jedit-textArea.jar),kahinatrunk(lib/gralej/gralej.jar),kahinatrunk(lib/gralej/lib/batik-util.jar),kahinatrunk(lib/gralej/lib/jlibeps.jar),kahinatrunk(lib/gralej/lib/batik-awt-util.jar),kahinatrunk(lib/gralej/lib/plugin.jar),kahinatrunk(lib/gralej/lib/batik-svggen.jar),kahinatrunk(lib/gralej/lib/tomato.jar)] New TraleSLDState() and empty signature Current heap size: 16252928 % consulting /home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl...

  • clauses for user:(fun)/1 are not together
  • Approximate lines: 49-50, file: '/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'
  • clauses for user:if/2 are not together
  • Approximate lines: 51-54, file: '/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'
  • clauses for user: *> /2 are not together
  • Approximate lines: 62-64, file: '/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'
  • clauses for user: ---> /2 are not together
  • Approximate lines: 467-479, file: '/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'
  • clauses for user:(empty)/1 are not together
  • Approximate lines: 673-682, file: '/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'

% consulted /home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl in module user, 30 msec 35480 bytes Reading signature file... signature Compiling type unification... {ALE: Warning: unary branch from move_rel to walk_rel} {ALE: Warning: assuming the following types are maximally specific: acc adv base by cat cont_rel direction_rel e_list fem fin first for functional future_rel give_rel ha_struc hc_struc here_rel hf_struc hs_struc inf it lexical like_rel loc masc minus ne_list neut nom nom_obj none nonloc noun pas past_rel perfect_rel phrase pl plus prep present_rel prp psp rain_rel ref sai_struc say_rel second sg synsem that there third to unmarked val verb walk_rel word } Compiling appropriateness... Compiling extensionality declarations... Computing signature modules... Compiling subtype covering constraints... Compiling functional descriptions... Indexing source files... Compiling type constraints... Computing most general satisfiers... Compiling type promotion... Compiling unification... Compiling definite clauses... {ALE: Warning: first disjunct unsatisfiable in: und_search_rel(_63726,(_63727,(move_rel;tense_rel)),_63728);fail} {ALE: Warning: first disjunct unsatisfiable in: und_search_rel(_63726,(_63727,(move_rel;tense_rel)),_63728);fail} {ALE: Warning: first disjunct unsatisfiable in: und_search_rel(_63726,(_63727,(move_rel;tense_rel)),_63728);fail} {ALE: Warning: first disjunct unsatisfiable in: und_search_rel(_63726,(_63727,(move_rel;tense_rel)),_63728);fail} {ALE: Warning: first disjunct unsatisfiable in: und_search_rel(_63726,(_63727,(move_rel;tense_rel)),_63728);fail} {ALE: Warning: first disjunct unsatisfiable in: und_search_rel(_63726,(_63727,(move_rel;tense_rel)),_63728);fail} Compiling lexical rules... Compiling lexicon... Collecting empty categories... 11:49:59 PM [AWT-EventQueue-0] [error] ModeProvider?$1: LIST 11:49:59 PM [AWT-EventQueue-0] [error] ModeProvider?$1: LIST 11:49:59 PM [AWT-EventQueue-0] [error] ModeProvider?$1: LIST 11:49:59 PM [AWT-EventQueue-0] [error] ModeProvider?$1: LIST Blocked: und_list_of_synsems/1 % The debugger will first creep -- showing everything (trace)

1 1 Call: r2ed(tralesld_call(22,unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),['/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'|454],d_add_to_lvar(_1259,loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),loc,feat(loc)))) ? 2 2 Call: tralesld_call(22,unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),['/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'|454],d_add_to_lvar(_1259,loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),loc,feat(loc))) ? 3 3 Call: tralesld_ra_enter(22,unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),['/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'|454],d_add_to_lvar(_1259,loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),loc,feat(loc))) ? 4 4 Call: ra(_25437,_25434,_25435) ? 4 4 Fail: ra(_25437,_25434,_25435) ? 3 3 Exit: tralesld_ra_enter(22,unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),['/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'|454],d_add_to_lvar(_1259,loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),loc,feat(loc))) ? 5 3 Call: tralesld_ra_call(22,unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),['/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'|454],d_add_to_lvar(_1259,loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),loc,feat(loc))) ? 6 4 Call: ra(_26388,_26385,_26386) ? 6 4 Fail: ra(_26388,_26385,_26386) ? 5 3 Exit: tralesld_ra_call(22,unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),['/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'|454],d_add_to_lvar(_1259,loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),loc,feat(loc))) ? 7 3 Call: tralesld_lex_enter(22,unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),['/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'|454],d_add_to_lvar(_1259,loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),loc,feat(loc))) ? 7 3 Exit: tralesld_lex_enter(22,unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),['/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'|454],d_add_to_lvar(_1259,loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),loc,feat(loc))) ? 8 3 Call: uniftrace_call(unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259)) ? 9 4 Call: command_key_fs(unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),_28286,_28287) ? 9 4 Fail: command_key_fs(unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),_28286,_28287) ? 8 3 Exit: uniftrace_call(unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259)) ?

10 3 Call: varscope_call(unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),22) ? 10 3 Exit: varscope_call(unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),22) ? 11 3 Call: goaltrace_call(unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),d_add_to_lvar(_1259,loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),loc,feat(loc))) ? 11 3 Exit: goaltrace_call(unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),d_add_to_lvar(_1259,loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),loc,feat(loc))) ? 12 3 Call: varwatch_call(unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259)) ? 13 4 Call: get_tralesld_atts(_31131) ? 14 5 Call: execution_state(user:private(_31616)) ? 14 5 Exit: execution_state(user:private([tralesld_atts(_19453)|_3029])) ? 15 5 Call: memberchk(tralesld_atts(_31131),[tralesld_atts(_19453)|_3029]) ? 15 5 Exit: memberchk(tralesld_atts(_19453),[tralesld_atts(_19453)|_3029]) ? 13 4 Exit: get_tralesld_atts(_19453) ? 16 4 Call: '$get_attributes'(_19453,_33991,_33992) ? 16 4 Exit: '$get_attributes'(_19453,v(28,_3032,_3033,1,[var(10,'X',_8577)|_9986],[],_3037,_3038,_3039,_3040,_3041,_3042,_3043),28) ? 17 4 Call: '$get_attributes'(_19453,_34941,_34942) ? 17 4 Exit: '$get_attributes'(_19453,v(28,_3032,_3033,1,[var(10,'X',_8577)|_9986],[],_3037,_3038,_3039,_3040,_3041,_3042,_3043),28) ? 18 4 Call: '$put_attributes'(_19453,v(28,_3032,_3033,2,[var(10,'X',_8577)|_9986],[],_3037,_3038,_3039,_3040,_3041,_3042,_3043)) ? 18 4 Exit: '$put_attributes'(_36389,v(28,_3032,_3033,2,[var(10,'X',_8577)|_9986],[],_3037,_3038,_3039,_3040,_3041,_3042,_3043)) ? 19 4 Call: '$get_attributes'(_36389,_36860,_36861) ? 19 4 Exit: '$get_attributes'(_36389,v(28,_3032,_3033,2,[var(10,'X',_8577)|_9986],[],_3037,_3038,_3039,_3040,_3041,_3042,_3043),28) ? 20 4 Call: varscopestack_peek(_36389,_37810) ? 21 5 Call: '$get_attributes'(_36389,_38293,_38294) ? 21 5 Exit: '$get_attributes'(_36389,v(28,_3032,_3033,2,[var(10,'X',_8577)|_9986],[],_3037,_3038,_3039,_3040,_3041,_3042,_3043),28) ? 20 4 Fail: varscopestack_peek(_36389,_37810) ? 12 3 Fail: varwatch_call(unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259)) ?

2 2 Fail: tralesld_call(22,unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),['/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'|454],d_add_to_lvar(_1259,loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),loc,feat(loc))) ?

22 2 Call: raise_exception(tralesld_hook_failed(tralesld_call(22,unify(feat(loc),'Local',loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),_1259),['/home/ke/workspace/kahina/src/org/kahina/tralesld/test/webcourse/theory.pl'|454],d_add_to_lvar(_1259,loc(loc(_3563),_3559,cat(cat(_3594),_3590,head(_4462,_4437,_15630,_4439,_4440,_4441,_4442,_4443),max),max),loc,feat(loc))))) ?

comment:5 Changed 6 years ago by ke

  • Resolution set to fixed
  • Status changed from new to closed

fixed in TRALE revision 310

Note: See TracTickets for help on using tickets.