ericzinda / inductorhtn Goto Github PK

• At present, the final plan after HTN planning is a huge sequence composed of all operators. If it is adopted in the project, do I need to write a specific interpreter to connect the functions in the project? Or is there a more efficient way?

• In addition, I don't think HTN is particularly suitable for mathematical calculation, so should I put most of the contents related to numerical calculation in other places, mainly leaving the qualitative analysis part to simplify the process？

Could you please give me some advice？

hi，dear developer
First of all, thank you for your project, which is very helpful and valuable，and i try to test this project i find sth wrong with vs2019 in win10（ub18 and macos worded well），and i also try mingw32，also cant work。
Here are the specific problems encountered：
1.in vs2019 ，cmake --detail with error
after cmake --build ./ --config Debug
open the sln file with vs2019 and set runtests as default project then here is error:
C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(175): error: Failure in HtnGoalResolverSquareScenarioTest: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(247): error: Failure in HtnGoalResolverRecursionTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(528): error: Failure in HtnGoalResolverUnifierOperatorTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(591): error: Failure in HtnGoalResolverListTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(712): error: Failure in HtnGoalResolverAtomDowncaseTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(750): error: Failure in HtnGoalResolverAtomConcatTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(876): error: Failure in HtnGoalResolverVariableTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(995): error: Failure in HtnGoalResolverForAllTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(1191): error: Failure in HtnGoalResolverCutTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(1313): error: Failure in HtnGoalResolverAssertRetractTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(1422): error: Failure in HtnGoalResolverFindAllTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(1561): error: Failure in HtnGoalResolverMinTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(1634): error: Failure in HtnGoalResolverMaxTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(1707): error: Failure in HtnGoalResolverSumTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(1780): error: Failure in HtnGoalResolverDistinctTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(1852): error: Failure in HtnGoalResolverCountTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(1920): error: Failure in HtnGoalResolverSortByTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(1973): error: Failure in HtnGoalResolverIdenticalTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(2174): error: Failure in HtnGoalResolverNotTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(2235): error: Failure in HtnGoalResolverFirstTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(2285): error: Failure in HtnGoalResolverPrintTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\HtnGoalResolverTests.cpp(2334): error: Failure in HtnGoalResolverResolveTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Prolog\PrologCompilerTests.cpp(216): error: Failure in PrologListCompileTests: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Htn\HtnPlannerTests.cpp(214): error: Failure in PlannerNormalMethodTest: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Htn\HtnPlannerTests.cpp(371): error: Failure in PlannerSetOfTest: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Htn\HtnPlannerTests.cpp(682): error: Failure in PlannerSingleSolutionTest: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Htn\HtnPlannerTests.cpp(742): error: Failure in PlannerTryTest: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Htn\HtnPlannerTests.cpp(880): error: Failure in PlannerElseTest: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Htn\HtnPlannerTests.cpp(991): error: Failure in PlannerFirstSortByNot: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Htn\HtnPlannerTests.cpp(1142): error: Failure in PlannerShopTransportationScenarioTest: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 C:\Users\Administrator\Desktop\InductorHtn-master\src\Tests\Htn\HtnPlannerTests.cpp(1396): error: Failure in HtnPlannerMemoryBudgetTest: Unhandled exception: Internal Error -- file: C:\Users\Administrator\Desktop\InductorHtn-master\src\FXPlatform\Prolog\HtnRuleSet.cpp, line:148 FAILURE: 31 out of 61 tests failed (31 failures). search for "error: Failure in" to find the error

2.in mingw-32，.\runtests.exe with error

and runing examples with error
``

terminate called without an active exception

https://souffle-lang.github.io/index.html

Any thoughts on replacing the prolog engine?

First, thanks this project. I really like it.

in TraceError.h, there is code below:

 ~TraceError()
    {
             delete m_symbolList; 
            m_symbolList = nullptr;
    }

in TraceError_Pos.cpp, m_symbolList is returned by backtrace_symbols(). The 'backtrace_symbols()' document said:
... The address of the array of
string pointers is returned as the function result of
backtrace_symbols(). This array is malloc(3)ed by
backtrace_symbols(), and must be freed by the caller. (The strings
pointed to by the array of pointers need not and should not be
freed.)
see: https://www.man7.org/linux/man-pages/man3/backtrace.3.html

so, it should be: std::free( m_symbolList );

in other platform ( Android, Window ), consider pre-alloc memory manually : m_symbolList = std::alloc ( ... ).