WAM Prolog是否有符号表？

文章/答案/技术大牛

发布

1回答

prolog、symbol-table、warren-abstract-machine

我正在尝试用C语言编写一个Prolog的WAM实现。我注意到Prolog数据类型只有四种标记类型: REF、STR、CON和LIS。执行堆中的每个单元都包含令牌的类型及其在堆中的位置。堆不应该指向符号表中的符号及其值吗？在纯prolog实现中是否有符号表？我的解析器是创建一个符号表还是构造一个堆？WAM教程实现没有提到任何这些。

浏览 26提问于2020-10-03得票数 0

回答已采纳

1回答

显示给定Prolog程序的WAM代码

prolog、warren-abstract-machine

给定一个Prolog程序，是否有任何GNU Prolog命令来查看与该程序相关的WAM代码？

浏览 7提问于2015-12-15得票数 9

回答已采纳

1回答

现在，给他们一个在现有虚拟机上实现专业的、可执行的、基于WAM的Prolog的目标，比如Erlang或Java。如果对1的答案是否定的，这是否意味着他们会试图以某种方式将WAM及其相关的指令和执行直接映射到底层的Erlang/Java，以便使WAM“消失”，也就是说只运行一个VM (Erlang/JVM)？如果是这样的话，这是否意味着任何WAM堆、堆栈、内存操作、寄存器分配、指令等等实际上都是Erlang/Java堆(经过

浏览 0提问于2014-10-03得票数 4

回答已采纳

3回答

WAM的替代方案

prolog、warren-abstract-machine

我记得有一次读到，至少有两种替代方案与WAM大致同时发明。有什么建议吗？

浏览 3提问于2010-12-18得票数 30

回答已采纳

1回答

使用将prolog code+C代码编译为二进制

prolog、swi-prolog

我有一个问题，我在网上找不到准确的答案。但有一件事我很困惑。在生成的二进制文件中，Prolog Interpreter (虚拟机或其他)是否仍然存在？如果是这样的话，那么原始的Prolog代码可能存储在ELF二进制文件的.rodata部分中，但是在本节中搜索之后，我没有找到代码。如果没有，那么Prolog代码如何能够直接转换为基于SWI的语义等价的asm代码？我读过一些关于基于WAM虚

浏览 1提问于2014-06-13得票数 4

回答已采纳

1回答

GNU Prolog:显示用于查询的WAM代码？

prolog、gnu-prolog、warren-abstract-machine

是否可以使用显示查询的WAM代码？我在x64 Windows上使用1.4.4版本

浏览 4提问于2013-10-26得票数 1

回答已采纳

2回答

无法从动态加载的DLL转换类到接口

c#、dll、dllimport

我有以下课程{ {解决方案中有3个项目：模块(W

浏览 0提问于2015-03-20得票数 1

回答已采纳

2回答

在prolog中符号的意思？

prolog、prolog-cut

我真的需要知道这个符号在后面和符号后面意味着什么.例如，看看下面的代码 agent_location(X, Y), ! .

浏览 2提问于2018-07-07得票数 2

回答已采纳

1回答

分析带有两个谓词的查询的查询计划，但索引只有一个

mysql、optimization、execution-plan、database-theory

注意:这是我所在大学的一个数据库系统入门课程，所以我不完全确定这是否重要，但对于值得我们学习的是MySQL。，所提供的计划只假设在其中一个谓词上建立索引，例如(wam)上的非聚集B+树索引。问题的一个例子是：我该如何计算这样一个计划的成本呢？我是否还需要计算非聚集/集群B+树和其他谓词的哈希索引的成本？我知道，另一个方案也只是一个完整的表格扫描。 “学生”有800页，64000元组

浏览 0提问于2019-05-17得票数 0

1回答

H2:使用多行插入语句出错

java、sql、h2

创建了下表： WFD_C_NAME VARCHAR(12) NOT NULL, FOREIGN KEY (WFD_C_NAME) REFERENCES GINA_T_WAM_GUEST(WFG_C_NAME)现在，我可以在该表中插入一些行，如下所示： INSERT INTO GINA_T_WAM</e

浏览 1提问于2020-07-06得票数 1

回答已采纳

1回答

学习prolog练习2.3

prolog、prolog-toplevel

我将通过学习prolog网站尝试学习一些prolog，并试图理解练习2.3。我想，对word()的每一个调用都会进入某种类型的堆栈，这就解释了为什么它似乎会将单词从结尾改为开头。那么一个swi-prolog问题是否可以让它说“是/否”而不是“真/假”？向安德斯·奥尔姆问好

浏览 3提问于2011-09-17得票数 1

回答已采纳

2回答

通过WAM使用反向代理进行登录集成

aem

我正在尝试集成WAM与AEM应用程序使用反向代理。我想知道是否有任何方法可以区分未经身份验证和身份验证的用户的页面。

浏览 0提问于2019-07-10得票数 1

1回答

如何在编译器中管理符号表

compiler-construction、symbol-table

我想知道是否只有一个符号表存储一个源文件的所有信息，还是有多个符号表相互堆叠，只有在当前作用域与表相关时才会获取。例如，假设我有两个方法 int b; ... int b;}这里，a和b的作用域不相同，因此如果符号表被堆叠，则在执行foo时首先获取与foo相关的符号表。然而，在执行bar时，bar的符号表被堆叠在

浏览 1提问于2014-01-05得票数 4

5回答

Prolog的时间复杂度比天真的蛮力好吗？

c、prolog、scheme

在(最好的) Prolog中解决任何问题的时间复杂性是否比简单的蛮力回溯实现要好？编辑:所谓“解决任何问题”，我指的是所有Prolog程序。“问题中的问题”：我想知道语言设计:与部分延续相比，完全延续是否有任何实用价值(其主要优势是Pr

浏览 11提问于2015-12-23得票数 4

回答已采纳

2回答

我该怎么从Prolog开始？

windows、prolog

如果我想开始学习Windows上的Prolog，是否有将Prolog集成到Visual 2010的包？也就是说，用于在Windows上使用Prolog的编译器和模板等等？假设没有针对.Net平台的Prolog版本，是否有GCC Prolog编译器用于Windows？

浏览 0提问于2012-02-21得票数 3

回答已采纳

1回答

如何使用Okta或Pingfederate通过Oracle Smartview配置SSO？

oracle、single-sign-on、okta、pingfederate、smartview

目前正在为访问Oracle EPM BI工具套件的Oracle Smartview客户端配置SSO。配置了配置了多个AD数据源的Pingfederate SP和Okta Idp。如果有人愿意分享他们在为Smartview启用SSO所采取的方法和配置步骤方面的经验，我将不胜感激

浏览 25提问于2020-10-22得票数 0

回答已采纳

1回答

是否有根据trig函数重新排列符号表达式的方法？

matlab、symbolic-math、simplify

在MATLAB符号表达式中是否有将符号表达式l*sin(B) + d*sin(B)重新排列为(l+d)*sin(B)的方法？我试着用联合收集器。他们俩的工作方式都不尽如人意。符号表达式是x = d*sin(B) + l*sin(B)，我想在MATLAB中将它重新排列为x = (l+d)*sin(B)。

浏览 5提问于2022-08-31得票数 1

1回答

不同clp(FD)库实现的兼容性

prolog、compatibility、clpfd

有什么地方可以找到clpfd实现中的差异集合吗？

浏览 5提问于2015-03-28得票数 4

回答已采纳

1回答

编译器扫描器-符号表中的“位置”

compiler-construction、compilation、lexical-analysis、symbol-table

我在一个编译器设计课程中读到，扫描的输出是一个序列对(令牌代码，标记在符号表中的位置)。我对“立场”部分的含义有点困惑。当符号表表示为可以使用索引(例如数组)访问其元素的结构时，“位置”是明确的，它意味着数组中的第1、2、99元素。例如，源代码：扫描的输出将是流：( .，(id,3) ) --为了简单起见，我没有描述其他标记--而符号表将是(a，b，c)，因此在符号表的位置3上的位置1，b上有a，c。当符号表被表示为二进制搜索树时会发生什么？如果我的树是使

浏览 3提问于2014-10-05得票数 0

2回答

最终的可执行文件是否使用符号表来检查变量范围

linker、compiler-construction、executable、elf

当翻译单元被编译/组装到一个对象文件中时，我了解到它创建了一个符号表，其中包含了找到的每个变量/函数。例如，如果一个变量只有使用静态关键字的文件范围，那么它将在符号表中被标记为本地变量。但是，当链接器生成最终的可执行文件时，是否有一个包含所有文件的每个条目的最终符号表？我很困惑，因为如果我们有一个声明为静态的变量，仅在一个文件中表示文件作用域，那么当每次在可执行文件中遇到这个变量时，编译器是否必须引用最终的符号表来查看它的实际作用

浏览 1提问于2018-03-22得票数 2

回答已采纳

点击加载更多