如何用prolog语言实现自动推理?

希望能够实现自我推理。

The main predicate of your program is
to be prove/1 which is to take a list of sequents as argument and determine whether every sequent in the list can be proved.

举例: prove([[neg(p or q)] seq [neg p]]) 输出 ”Yes”.

大致思路应该是下图没错但是因为时间紧张之前又没有接触过prolog,特来求教


% THIS PROGRAM SUPPOSES A CORRECT INPUT OF THE FORM
% 'sequent = list1 seq list2', WHERE 'list1', 'list2' DO
% NOT CONTAIN 'seq' AS A SUBSTRING

% define logical operations 

:-op(800, xfx, seq). % syntactic entailment
:-op(700, xfy, iff). % biconditional
:-op(600, xfy, imp). % implication
:-op(400, yfx, and). % conjunction
:-op(400, yfx, or).  % disjunction
:-op(300, fy, neg).  % negation

% equivalence(+Formula1, +Formula2)
% equivalence between formulae

equivalence(neg (P and Q), (neg P) or (neg Q)).
equivalence(neg (P or Q), (neg P) and (neg Q)).
equivalence(P imp Q, (neg P) or Q).
equivalence(P iff Q, (neg P and neg Q) or (P and Q)).

% con_concat(+List, -Conjunction)
% transforms a list of formulae into a conjunction

???

% dis_concat(+List, -Disjunction)
% transforms a list of formulae into a disjunction

???

% preprocess(+Seq, -Prep_Seq)
% preprocesses the left and right lists of formulas in a sequent
% e.g. '[neg (p1 or p2), p3] seq [p4 and p5, p6, p7]' is the same as
% '(neg (p1 or p2)) and (p3) seq (p4 and p5) or (p6) or (p7))'

???

% rewrite_sequent(+Seq, -NewSeq, -Tree)
% rewrites a sequent applying the rules P2a-P6b 
% and returns the result together with its proof tree

???

% theorem(+Seq)
% check whether a sequent is a theore by applying rule P1

???

% prove_sequent(+Seq, -Tree)
% proves a sequent, prints its tree

???

% print_sequent(+Tree)
% printing the proof in a tree-like shape

???

% prove(+L). 
% proves a list of seqeunts

???

Csdn user default icon
上传中...
上传图片
插入图片
抄袭、复制答案,以达到刷声望分或其他目的的行为,在CSDN问答是严格禁止的,一经发现立刻封号。是时候展现真正的技术了!
其他相关推荐
Prolog语言,关于重新定义prolog中sublist语句的function
如何重新定义sublist语句功能,例如输入sublist([c,d,e],[a,b,c,d,e,f],X)返回值为True并且返回index 2。
turbo prolog 为什么不能在win10上运行
turbo prolog 为什么不能在win10上运行 点开程序后,提示说 版本不对
Visual Prolog报错没看懂
代码照着教材打的 ![如图](https://img-ask.csdn.net/upload/201710/25/1508932829_976022.png)
SWI-Prolog里面利用Aleph用induce推理出规则后,怎么储存这些规则?
[theory] [Rule 1] [Pos cover = 4 Neg cover = 0] grandparent(A,B) :- father(A,C), father(C,B). [Rule 2] [Pos cover = 4 Neg cover = 0] grandparent(A,B) :- father(A,C), mother(C,B). [Rule 3] [Pos cover = 4 Neg cover = 0] grandparent(A,B) :- mother(A,C), father(C,B). [Rule 4] [Pos cover = 4 Neg cover = 0] grandparent(A,B) :- mother(A,C), mother(C,B). //这些事推理出来的规则 //我尝试用write_rules(Filename).去储存,但是它提示我“Correct to: "aleph:write_rules(wow)"?” 是我没掌握好它的用法吗,是的话可以方便解释一下吗
关于二叉树的prolog问题
前几天才开始学prolog的东西,遇到的一个关于二叉树的prolog问题就不会写了,想请教一下大家。 譬如说这里有一个二叉树,facts我就不一一列举了,主要有两种 一个是 leftchild(X,Y) 另一个是 right(X,Y) 下面有几个rule 第一个rule我就懵了。 第一个rule是justabove(X,Y)。 我想的是,X justabove Y 如果 Y is leftchild X 或者 Y is leftchild X。 所以我就这样写: justabove(X,Y) :- leftchild(Y,X) ; rightchild(Y,X). 我查的说分号代表或者,我原以为只要facts满足其中之一就会返回true。 但事实是尽管第一条满足了,它依旧会继续问你true?使用”;“继续搜索,第二条目标不满足就return no了。 这下我就不知道该怎么办了。。。有什么办法可以无论既不继续搜索,答案始终和事实相符??? 。。。。能看的懂吗?我表述好像不是很清楚。。。
prolog 基础程序 替换字母
刚学prolog,希望大家指点迷津。 题目要求是 ?- word_with_replacements([s, c, r, a, b, b, l, e], Word_with_replacements). Word_with_replacements = [s, c, r, e, b, b, l, a] ; false. ?- word_with_replacements(Word, [s, c, r, e, b, b, l, a]). Word = [s, c, r, a, b, b, l, e] ; false. 其中a可以替换成e,e可以替换为a。 并且要求代码可以拓展为任意字母替换。目前我只能参照例子写出这样的程序,但是不符合题目的输出要求,请问改怎么改正呢?谢谢。 第一种 replace(_,_,[],[]). replace(a,b,[a|T1],[b|T2]):-replace(a,b,T1,T2). replace(a,b,[m|T1],[m|T2]):-m\=a, replace(a,b,T1,T2). 第二种 rep([],_,_,[]). rep([Z|T1],Z,A,[A|T2]):- rep(T1,Z,A,T2). rep([H|T1],Z,A,[H|T2]) :- rep(T1,Z,A,T2). goal rep([1,2,3],2,4,X).
Unexpected EOF in prolog
cxf框架,java代码中使用http post请求webservice,出现不能创建一个安全的xml工厂, @PostConstruct public void init(){ System.setProperty(StaxUtils.ALLOW_INSECURE_PARSER, "true"); } 在类加载的时候我设置系统属性,然后报出 Caused by: com.ctc.wstx.exc.WstxEOFException: Unexpected EOF in prolog at [row,col {unknown-source}]: [1,0] at com.ctc.wstx.sr.StreamScanner.throwUnexpectedEOF(StreamScanner.java:661) at com.ctc.wstx.sr.BasicStreamReader.handleEOF(BasicStreamReader.java:2134) at com.ctc.wstx.sr.BasicStreamReader.nextFromProlog(BasicStreamReader.java:2040) at com.ctc.wstx.sr.BasicStreamReader.next(BasicStreamReader.java:1069) at com.ctc.wstx.sr.BasicStreamReader.nextTag(BasicStreamReader.java:1095) at org.apache.cxf.binding.soap.interceptor.ReadHeadersInterceptor.handleMessage(ReadHeadersInterceptor.java:158) ... 27 more 这个问题怎么解决呢?还请大家帮帮忙......
prolog的谓词\+的含义及其用法
代码: path(X,Y,Path):- traverse(X,Y,[X],Q),reverse(Q,Path). traverse(X,Y,P,[Y|P]):- connected(X,Y). traverse(X,Y,V,Path):- connected(X,Z),Z\=Y, \\+(member(Z,V)),traverse(Z,Y,[Z|V],Path). 其中,traverse(X,Y,V,Path):- connected(X,Z),Z\=Y, \\+member(Z,V),traverse(Z,Y,[Z|V],Path). 上述规则中有一个谓词为 \\+ /1,如果证明这个目标可以发现,最初的目标失败;如果没有证据可以发现,最初的目标成功。 这句规则在swi-prolog中可以实现,而在visual prolog中不可识别,总是出现如下的情况: “traverse(X$23,Y$24,V$25,PATH$26) :- connected(X$23,Z$27) , Z$27 \= Y$24 , \\+ Syntax error in parser Reconsulted from: C:\Users\Xinxin\Desktop\pie(1)\Exe\FILE0.PRO” 在\\+后面的member就不识别了,这是怎么回事? 我将它改为\\+(member(Z,V)),加载的时候不会报错,但是这句还是没有起作用,这是为什么? 谢谢!
可能太宽泛了,如何算熟练掌握一门语言?
先说明一下,我不是计算机专业出身,本来对程序设计这一块也就学过点C(你知道,大学基本上工科都得学的),再学了点JAVA,工作近一年,慢慢看了点RUBY什么的,现在主要做rails的开发,老实讲,对这个东西,我觉得除了刚开始觉得写着有点别扭,现在基本上已经适应了这种风格,但随着现在在项目中慢慢看公司一个架构师的代码,越来越觉得能够熟练掌握这门语言,真挺难的,公司这个做了十年开发,前两年转RUBY,我觉得他已经是很牛了,公司项目的好几个插件都是他开发的,(当然他在系统架构上也挺牛逼的),他有些插件很多都用到所谓元编程了,就是meta programing。一个model include某个类之后,可以动态生成很多方法,内部也有很多回调方法啊,什么的,可供我们使用时做部分配置,除出他的架构设计能力这部分不谈,他对语言的驾驭,确实已经可以说是精通了,我想请教下有过多种语言经验的牛人们,给点建议,如何能达到精通或者熟悉一门编程语言?我知道要看源代码,看别人写得好的源代码,再就是多写了,可是以我这半年东看西瞧多种语言的小小经验上来看,只要不是一门变态的语言,要入门,语法是太简单了(python我看了一下午,英文片的dive into python,除了觉得代码形式有点怪异,有空格缩进这种方式来划分代码块之外,没什么不能适应的,ruby,刚开始也是利用下班晚上的时间边看边敲了点那种入门级代码,也就一个星期),就语法本身来说,现在能在那个语言排行榜上排得上号的,都不会对我有太大的障碍,可是任何一门语言,要想完全驾驭,或者熟练驾驭,随着慢慢接触的东西越来越多,反而越来越觉得难了,我想这背后应该还有些东西是我本身没有掌握的,做为非计算机专业出身的我,计算机系统,编译原理,等等这些东西对我来讲都是非常欠缺的,我需要看看这方面的东西吗(仅就从根本上理解一门语言而言)? 另外,也看到很多人热捧MIT的那个SICP,函数式编程我也只是了解,就有这种能力的haskell,ruby,scala来讲,这些概念都不难理解(就像所谓OO,理解这个概念有什么用呢,除了面试时用用,做开发时还是不能很好地使用),可是当我看到别人写的那么牛的代码,连续几个方法的调用就如同顺口溜一样,我真的觉得挺不可思议(虽然我知道一般来讲,不会有那种专属于某种语言的可以完成的功能),而且,我发现,貌似现在任何一门语言,比如ruby,比如erlang,prolog,这些语言的实现也都是用C实现的(不要鄙视,真的是几个月前才知道的),那为什么利用这些语言结构(C语言的)就可以实现这么些功能?我基本上只能算听说过图灵机,但如果要再向里面深究,我估计得拿出离散数学等等数学的家伙了。说了这么多,感觉已经有点混乱了,简单点吧,要从根本上能熟练驾驭一门语言,除了代码的读写,还需要在哪些方面做补充?希望有经验的程序员们指点一下,先谢谢了.
webservice Content is not allowed in prolog.
我这边是webservice客户端, 调另一个系统的wbs的服务端,作为数据同步使用。 两边都已经是正式系统,上线半年一直没问题,最近突然我这边调用wbs服务时 faultCode: {http://schemas.xmlsoap.org/soap/envelope/}Server.userException faultSubcode: faultString: java.lang.RuntimeException: Exception in preInvoke : javax.xml.soap.SOAPException: org.xml.sax.SAXParseException: Content is not allowed in prolog. 网上搜索没个准确说法,大部分说信息格式有问题,两边系统都未做更新,格式有问题觉得不太可能,但又无法定位问题! 麻烦有经验的朋友指点一下。 [b]问题补充:[/b] lovewhzlq 感谢回答 BOM的解释是我之前看到最多的, 我这边是java应用,部署在unix上,数据从表中捞出来拼成xml, 用的axis包 发给另外一个系统,不太明白我这边生产xml的时候为何会带上BOM, 由于wbs服务端是另一个公司的系统,要他们升级dom4j 可能性不大, 所以我还是得想办法在我这边找到问题所在。
python爬虫爬取时提示org.xml.sax.SAXParseException: Content is not allowed in prolog.
最近在研究爬虫,请求方法是POST,请求内容类型是application/x-www-form-urlencoded,说明以表单的方式提交。 观察响应正文,可以发现,响应内容类型是xml,其中想要提取的数据就在new节点内: ![图片说明](https://img-ask.csdn.net/upload/201908/28/1566957248_729059.png) 首先构造headers: ![图片说明](https://img-ask.csdn.net/upload/201908/28/1566957271_146204.png) 请求参数在请求正文中: ![图片说明](https://img-ask.csdn.net/upload/201908/28/1566957295_533999.png) 可以发现请求参数也是放在xml中,将__xml参数解码后可以发现内容如下: ![图片说明](https://img-ask.csdn.net/upload/201908/28/1566957318_627236.png) 提交的参数放在p标签里,每次提交请求变化的也只有那些参数,并没有发现加密的迹象 因此构造params: ![图片说明](https://img-ask.csdn.net/upload/201908/28/1566957346_765493.png) 代码如下: ```python import requests target = ".../dorado/smartweb2.RPC.d?__rpc=true" # 公司内网地址,外网无法访问 headers = { "User-Agent": "Mozilla/5.0 (Windows NT 10.0; WOW64; Trident/7.0; rv:11.0) like Gecko", "Referer": ".../pages/policynewbiz/inputapplication/pmGDVehicleQuery.jsp?VEHICLELICENSE=&VIN=LEFYECG257HN34234&LICENSETYPE=&Kind=AUTOCOMPRENHENSIVEINSURANCE2014PRODUCT&", "Content-Type": "application/x-www-form-urlencoded", "Cookie": "jsessionidp09=X2tfdlLTBZH7xzKwnhSgh2W2N5374T0HnHWYQkl2MRShjBxfpKpW!1484787398; F5cookie=1410712842.6521.0000" } params = { "__type": "loadData", "__viewInstanceId": "org.view.policynewbiz.inputapplication.pmGDVehicleQuery~org.view.common.viewmodel.CpicViewModel", "__xml": '%3Crpc%20id%3D%22datasetResult%22%20type%3D%22wrapper%22%20objectClazz%3D%22%22%20pi%3D%221%22%20ps%3D%22100%22%20pc%3D%221%22%20prc%3D%220%22%20fs%3D%22vin%2ClicensePlateNo%2ClicensePlateType%2CengineNo%2CpmVehicleType%2CpmUserNature%2CineffectualDate%2CrejectDate%2CfirstRegisterDate%2ClastCheckDate%2CtransferDate%2CwholeWeight%2CratedPassengerCapacity%2Ctonnage%2Cdisplacement%2CmadeFactory%2Cmodel%2CbrandCN%2CbrandEN%2Chaulage%2Ccolor%2CfuelType%2CvehicleStatus%2CmotorTypeCode%22%3E%3Cps%3E%3Cp%20name%3D%22flag%22%3E1%3C/p%3E%3Cp%20name%3D%22carMark%22/%3E%3Cp%20name%3D%22RackNo%22%3E2FMDK3J95DBC93811%3C/p%3E%3C/ps%3E%3C/rpc%3E%0D%0A', "__rpc": "true", } res = requests.post(url=target, headers=headers, data=params) html = res.content.decode("utf-8") print(html) ``` 执行结果报错: ```python D:\Users\CPIC\AppData\Local\Programs\Python\Python37\python.exe E:/Workspace/Python/SchoolInfo/test56.py <?xml version="1.0"?> <result succeed="false" > <errorMessage>org.xml.sax.SAXParseException: Content is not allowed in prolog.</errorMessage> <stackTrace><![CDATA[com.bstek.dorado.utils.xml.dom4j.Dom4jXmlBuilder.buildDocument(Dom4jXmlBuilder.java:59) com.bstek.dorado.view.rpc.AbstractRPCHandler.init(AbstractRPCHandler.java:58) com.bstek.dorado.view.rpc.LoadDataRPCHandler.init(LoadDataRPCHandler.java:41) com.bstek.dorado.core.FilterHandle.doFilter(FilterHandle.java:131) com.bstek.dorado.core.DoradoFilter.doFilter(DoradoFilter.java:70) weblogic.servlet.internal.FilterChainImpl.doFilter(FilterChainImpl.java:43) com.cpic.p09.auto.common.filter.CompatibleFilter.doFilter(CompatibleFilter.java:34) weblogic.servlet.internal.FilterChainImpl.doFilter(FilterChainImpl.java:43) com.cpic.p09.auto.common.filter.ClientCacheFilter.doFilter(ClientCacheFilter.java:71) weblogic.servlet.internal.WebAppServletContext$ServletInvocationAction.run(WebAppServletContext.java:3242) weblogic.security.acl.internal.AuthenticatedSubject.doAs(AuthenticatedSubject.java:321) weblogic.servlet.internal.WebAppServletContext.execute(WebAppServletContext.java:1916) weblogic.servlet.internal.ServletRequestImpl.run(ServletRequestImpl.java:1366) weblogic.work.ExecuteThread.run(ExecuteThread.java:181) ]]></stackTrace> <viewProperties></viewProperties> </result> Process finished with exit code 0 ``` 有哪位大神遇到过这种情况,小弟要抓狂了
axis2 java客户端调用.net服务出现Unexpected character 'I' (code 73) in prolog; expected '<'
本机DEBUG调用正常 Linux服务器下报错,有人遇到过不: ``` org.apache.axis2.AxisFault: com.ctc.wstx.exc.WstxUnexpectedCharException: Unexpected character 'I' (code 73) in prolog; expected '<' at [row,col {unknown-source}]: [1,1] at org.apache.axis2.AxisFault.makeFault(AxisFault.java:430) ~[axis2-kernel-1.6.2.jar:1.6.2] at org.apache.axis2.transport.TransportUtils.createSOAPMessage(TransportUtils.java:123) ~[axis2-kernel-1.6.2.jar:1.6.2] at org.apache.axis2.transport.TransportUtils.createSOAPMessage(TransportUtils.java:67) ~[axis2-kernel-1.6.2.jar:1.6.2] at org.apache.axis2.description.OutInAxisOperationClient.handleResponse(OutInAxisOperation.java:354) ~[axis2-kernel-1.6.2.jar:1.6.2] at org.apache.axis2.description.OutInAxisOperationClient.send(OutInAxisOperation.java:421) ~[axis2-kernel-1.6.2.jar:1.6.2] at org.apache.axis2.description.OutInAxisOperationClient.executeImpl(OutInAxisOperation.java:229) ~[axis2-kernel-1.6.2.jar:1.6.2] at org.apache.axis2.client.OperationClient.execute(OperationClient.java:165) ~[axis2-kernel-1.6.2.jar:1.6.2] at com.hnair.opcnet.ews.zsqd.wsclient.AirwaysDataServiceStub.sendFltMsg(AirwaysDataServiceStub.java:221) ~[opcnet-ews-2.0-SNAPSHOT.jar:?] at com.hnair.opcnet.ews.zsqd.impl.ZsqdCustomsServiceImpl.SendFltMsg(ZsqdCustomsServiceImpl.java:55) ~[opcnet-ews-2.0-SNAPSHOT.jar:?] at com.alibaba.dubbo.common.bytecode.Wrapper26.invokeMethod(Wrapper26.java) ~[?:?] at com.alibaba.dubbo.rpc.proxy.javassist.JavassistProxyFactory$1.doInvoke(JavassistProxyFactory.java:25) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.proxy.AbstractProxyInvoker.invoke(AbstractProxyInvoker.java:80) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.filter.ExceptionFilter.invoke(ExceptionFilter.java:64) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.protocol.ProtocolFilterWrapper$1.invoke(ProtocolFilterWrapper.java:69) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.monitor.support.MonitorFilter.invoke(MonitorFilter.java:75) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.protocol.ProtocolFilterWrapper$1.invoke(ProtocolFilterWrapper.java:69) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.filter.TimeoutFilter.invoke(TimeoutFilter.java:42) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.protocol.ProtocolFilterWrapper$1.invoke(ProtocolFilterWrapper.java:69) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.protocol.dubbo.filter.TraceFilter.invoke(TraceFilter.java:78) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.protocol.ProtocolFilterWrapper$1.invoke(ProtocolFilterWrapper.java:69) ~[dubbo-2.5.8.jar:2.5.8] at com.hnair.opcnet.catmonitor.dubbo.ProviderOnlyMonitorInitDummyFilter.invoke(ProviderOnlyMonitorInitDummyFilter.java:64) ~[opcnet-sre-esbclient-1.0-20180117.062326-68.jar:?] at com.alibaba.dubbo.rpc.protocol.ProtocolFilterWrapper$1.invoke(ProtocolFilterWrapper.java:69) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.filter.ExecuteLimitFilter.invoke(ExecuteLimitFilter.java:61) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.protocol.ProtocolFilterWrapper$1.invoke(ProtocolFilterWrapper.java:69) ~[dubbo-2.5.8.jar:2.5.8] at net.dubboclub.catmonitor.CatTransaction.invoke(CatTransaction.java:62) ~[opcnet-sre-esbclient-1.0-20180117.062326-68.jar:?] at com.alibaba.dubbo.rpc.protocol.ProtocolFilterWrapper$1.invoke(ProtocolFilterWrapper.java:69) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.filter.ContextFilter.invoke(ContextFilter.java:61) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.protocol.ProtocolFilterWrapper$1.invoke(ProtocolFilterWrapper.java:69) ~[dubbo-2.5.8.jar:2.5.8] at com.alibaba.dubbo.rpc.filter.GenericFilter.invoke(GenericFilter.java:132) ~[dubbo-2.5.8.jar:2.5.8] ```
axis2 java调用.net出现Unexpected character 'I' (code 73) in prolog; expected '<'
服务端暴露的接口有三个方法,其中一个正常,另外两个调用报以下错误,求人解答 org.apache.axis2.AxisFault: com.ctc.wstx.exc.WstxUnexpectedCharException: Unexpected character 'I' (code 73) in prolog; expected '<' at [row,col {unknown-source}]: [1,1] at org.apache.axis2.AxisFault.makeFault(AxisFault.java:430) at org.apache.axis2.transport.TransportUtils.createSOAPMessage(TransportUtils.java:123) at org.apache.axis2.transport.TransportUtils.createSOAPMessage(TransportUtils.java:67) at org.apache.axis2.description.OutInAxisOperationClient.handleResponse(OutInAxisOperation.java:354) at org.apache.axis2.description.OutInAxisOperationClient.send(OutInAxisOperation.java:421) at org.apache.axis2.description.OutInAxisOperationClient.executeImpl(OutInAxisOperation.java:229) at org.apache.axis2.client.OperationClient.execute(OperationClient.java:165) at org.apache.axis2.client.ServiceClient.sendReceive(ServiceClient.java:555) at org.apache.axis2.client.ServiceClient.sendReceive(ServiceClient.java:531) at net.uni.ap.webservice.WebServiceUtil.invoke(WebServiceUtil.java:74) at net.uni.ap.webservice.WebServiceUtil.main(WebServiceUtil.java:123) Caused by: org.apache.axiom.om.OMException: 客户端调用部分代码为: RPCServiceClient serviceClient = new RPCServiceClient(); Options options = serviceClient.getOptions(); EndpointReference targetEPR = new EndpointReference( url ); options.setTo( targetEPR ); // options.setAction(nameSpace+"/"+param); serviceClient.setTargetEPR(targetEPR); QName opName = new QName( nameSpace, param ); Object[] results = serviceClient.invokeBlocking( opName, entry, returnTypes);
visual prolog中遇到问题error c150: Syntax error,怎么修改,c150是什么错误?
代码如下: domains person=symbol something=symbol predicates thief(person).    likes(person ,something).    steal(person ,something).    clauses thief(tom) . likes(pansy ,wine) . likes(pansy ,cheese) . likes(tom ,X):-likes(pansy ,X) .    steal(Person ,X):-thief(Person) ,likes(Person ,X) . 出现的错误如下: something=symbol这句出现问题——error c150: Syntax error thief(tom) .这句出现问题——error c150: Syntax error 这是怎么回事?c150是什么问题? 谢谢!
springboot项目DemoApplication报错:content is not allowed in prolog
![图片说明](https://img-ask.csdn.net/upload/201810/19/1539913324_154465.png) 项目启动没有影响
c#调用go语言生成的dll传string不成功,急!
![图片说明](https://img-ask.csdn.net/upload/201907/30/1564488504_712964.png) c#代码 ``` using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Threading.Tasks; using System.Runtime.InteropServices; namespace test { [StructLayout(LayoutKind.Sequential)] struct GoString { public char[] str; public int length; }; class Program { //System.Runtime.InteropServices.MarshalDirectiveException:“方法的类型签名与 PInvoke 不兼容。” [DllImport("SearchMusic.dll", CharSet = CharSet.Unicode)] static extern GoString Search(GoString key,int apageNum, int pageSize); //这个函数能调用成功 [DllImport("SearchMusic.dll", EntryPoint = "Add")] static extern int Add(int a, int b); static void Main() { GoString str = new GoString(); StringBuilder sb = new StringBuilder("沙漠骆驼"); str.str= ("沙漠骆驼").ToCharArray(); str.length = str.str.Length; Search(str, 1, 10); } } } ``` go语言代码 ``` package main import ( "C" "fmt" "io/ioutil" "net/http" ) //Search : //export Search func Search(key string, pageNum int, pageSize int) { url := "https://c.y.qq.com/soso/fcgi-bin/client_search_cp?ct=24&qqmusic_ver=1298&new_json=1&remoteplace=txt.yqq.song&searchid=57152133376853167&t=0&aggr=1&cr=1&catZhida=1&lossless=0&flag_qc=0&g_tk=5381&loginUin=0&hostUin=0&format=json&inCharset=utf8&outCharset=utf-8&notice=0&platform=yqq.json&needNewCode=0&w=" + key + "&p=" + fmt.Sprintf("%d", pageNum) + "&n=" + fmt.Sprintf("%d", pageSize) resp, _ := http.Get(url) defer resp.Body.Close() body, _ := ioutil.ReadAll(resp.Body) json := string(body) fmt.Println(json) } //Add : //export Add func Add(a int, b int) int { return a + b } func main() { } ``` go生成dll时的.h文件 ``` /* Code generated by cmd/cgo; DO NOT EDIT. */ /* package command-line-arguments */ #line 1 "cgo-builtin-export-prolog" #include <stddef.h> /* for ptrdiff_t below */ #ifndef GO_CGO_EXPORT_PROLOGUE_H #define GO_CGO_EXPORT_PROLOGUE_H #ifndef GO_CGO_GOSTRING_TYPEDEF typedef struct { const char *p; ptrdiff_t n; } _GoString_; #endif #endif /* Start of preamble from import "C" comments. */ /* End of preamble from import "C" comments. */ /* Start of boilerplate cgo prologue. */ #line 1 "cgo-gcc-export-header-prolog" #ifndef GO_CGO_PROLOGUE_H #define GO_CGO_PROLOGUE_H typedef signed char GoInt8; typedef unsigned char GoUint8; typedef short GoInt16; typedef unsigned short GoUint16; typedef int GoInt32; typedef unsigned int GoUint32; typedef long long GoInt64; typedef unsigned long long GoUint64; typedef GoInt64 GoInt; typedef GoUint64 GoUint; typedef __SIZE_TYPE__ GoUintptr; typedef float GoFloat32; typedef double GoFloat64; typedef float _Complex GoComplex64; typedef double _Complex GoComplex128; /* static assertion to make sure the file is being used on architecture at least with matching size of GoInt. */ typedef char _check_for_64_bit_pointer_matching_GoInt[sizeof(void*)==64/8 ? 1:-1]; #ifndef GO_CGO_GOSTRING_TYPEDEF typedef _GoString_ GoString; #endif typedef void *GoMap; typedef void *GoChan; typedef struct { void *t; void *v; } GoInterface; typedef struct { void *data; GoInt len; GoInt cap; } GoSlice; #endif /* End of boilerplate cgo prologue. */ #ifdef __cplusplus extern "C" { #endif //Search : extern void Search(GoString p0, GoInt p1, GoInt p2); //Add : extern GoInt Add(GoInt p0, GoInt p1); #ifdef __cplusplus } #endif ```
利用myeclipse自动生成web service client,测试调用接口时发生错误
下面是我的wsdl内容: ``` <?xml version="1.0" encoding="UTF-8"?> <wsdl:definitions targetNamespace="http://112.15.179.187:82/service/yqyy.php" xmlns:tns="http://112.15.179.187:82/service/yqyy.php" xmlns:wsdlsoap="http://schemas.xmlsoap.org/wsdl/soap/" xmlns:soap12="http://www.w3.org/2003/05/soap-envelope" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:soapenc11="http://schemas.xmlsoap.org/soap/encoding/" xmlns:soapenc12="http://www.w3.org/2003/05/soap-encoding" xmlns:soap11="http://schemas.xmlsoap.org/soap/envelope/" xmlns:wsdl="http://schemas.xmlsoap.org/wsdl/"> <wsdl:types> <xsd:schema targetNamespace="http://112.15.179.187:82/service/yqyy.php"> <xsd:element name="apply" > <xsd:complexType> <xsd:sequence> <xsd:element minOccurs="1" maxOccurs="1" name="in" type="xsd:string" /> </xsd:sequence> </xsd:complexType> </xsd:element> <xsd:element name="applyResponse" > <xsd:complexType> <xsd:sequence> <xsd:element minOccurs="0" maxOccurs="1" name="out" type="xsd:string" /> </xsd:sequence> </xsd:complexType> </xsd:element> </xsd:schema> </wsdl:types> <wsdl:message name="applyResponse"> <wsdl:part name="baseUrl" element="tns:applyResponse" /> </wsdl:message> <wsdl:message name="applyRequest"> <wsdl:part name="arr" element="tns:apply"></wsdl:part> </wsdl:message> <wsdl:portType name="yqyyPortType"> <wsdl:operation name="apply"> <wsdl:input name="applyRequest" message="tns:applyRequest" /> <wsdl:output name="applyResponse" message="tns:applyResponse" /> </wsdl:operation> </wsdl:portType> <wsdl:binding name="yqyyHttpBinding" type="tns:yqyyPortType"> <wsdlsoap:binding style="document" transport="http://schemas.xmlsoap.org/soap/http" /> <wsdl:operation name="apply"> <wsdlsoap:operation soapAction="http://112.15.179.187:82/service/yqyy.php" /> <wsdl:input name="applyRequest"> <wsdlsoap:body use="literal" /> </wsdl:input> <wsdl:output name="applyResponse"> <wsdlsoap:body use="literal" /> </wsdl:output> </wsdl:operation> </wsdl:binding> <wsdl:service name="yqyy"> <wsdl:port name="yqyyHttpPort" binding="tns:yqyyHttpBinding"> <wsdlsoap:address location="http://112.15.179.187:82/service/yqyy.php" /> </wsdl:port> </wsdl:service> </wsdl:definitions> ``` 测试调用是报的错误如下: ``` Exception in thread "main" com.sun.xml.ws.protocol.soap.MessageCreationException: Couldn't create SOAP message due to exception: XML reader error: javax.xml.stream.XMLStreamException: ParseError at [row,col]:[1,1] Message: Content is not allowed in prolog. at com.sun.xml.ws.encoding.SOAPBindingCodec.decode(SOAPBindingCodec.java:292) at com.sun.xml.ws.transport.http.client.HttpTransportPipe.process(HttpTransportPipe.java:171) at com.sun.xml.xwss.XWSSClientPipe.process(XWSSClientPipe.java:118) at com.sun.xml.ws.api.pipe.helper.PipeAdapter.processRequest(PipeAdapter.java:115) at com.sun.xml.ws.api.pipe.Fiber.__doRun(Fiber.java:595) at com.sun.xml.ws.api.pipe.Fiber._doRun(Fiber.java:554) at com.sun.xml.ws.api.pipe.Fiber.doRun(Fiber.java:539) at com.sun.xml.ws.api.pipe.Fiber.runSync(Fiber.java:436) at com.sun.xml.ws.client.Stub.process(Stub.java:248) at com.sun.xml.ws.client.sei.SEIStub.doProcess(SEIStub.java:135) at com.sun.xml.ws.client.sei.SyncMethodHandler.invoke(SyncMethodHandler.java:109) at com.sun.xml.ws.client.sei.SyncMethodHandler.invoke(SyncMethodHandler.java:89) at com.sun.xml.ws.client.sei.SEIStub.invoke(SEIStub.java:118) at com.sun.proxy.$Proxy32.apply(Unknown Source) at test.Test.main(Test.java:18) Caused by: com.sun.xml.ws.streaming.XMLStreamReaderException: XML reader error: javax.xml.stream.XMLStreamException: ParseError at [row,col]:[1,1] Message: Content is not allowed in prolog. at com.sun.xml.ws.streaming.XMLStreamReaderUtil.wrapException(XMLStreamReaderUtil.java:267) at com.sun.xml.ws.streaming.XMLStreamReaderUtil.next(XMLStreamReaderUtil.java:95) at com.sun.xml.ws.streaming.XMLStreamReaderUtil.nextContent(XMLStreamReaderUtil.java:110) at com.sun.xml.ws.streaming.XMLStreamReaderUtil.nextElementContent(XMLStreamReaderUtil.java:100) at com.sun.xml.ws.encoding.StreamSOAPCodec.decode(StreamSOAPCodec.java:174) at com.sun.xml.ws.encoding.StreamSOAPCodec.decode(StreamSOAPCodec.java:296) at com.sun.xml.ws.encoding.StreamSOAPCodec.decode(StreamSOAPCodec.java:128) at com.sun.xml.ws.encoding.SOAPBindingCodec.decode(SOAPBindingCodec.java:287) ... 14 more Caused by: javax.xml.stream.XMLStreamException: ParseError at [row,col]:[1,1] Message: Content is not allowed in prolog. at com.sun.xml.stream.XMLReaderImpl.next(XMLReaderImpl.java:563) at com.sun.xml.ws.util.xml.XMLStreamReaderFilter.next(XMLStreamReaderFilter.java:92) at com.sun.xml.ws.streaming.XMLStreamReaderUtil.next(XMLStreamReaderUtil.java:76) ... 20 more ``` 网上翻遍我还是不知道怎么解决这个问题,紧急求助!!
eclipse打开工程时解析xml错误
打开项目出现content is not allowed in prolog的错误,已使用ultraedit另存为无BOM头的UTF-8格式,也把DOM4j升级到1.6.1版本,还是报错,请各位大神解答!
eclipse导入外部项目出现问题
导入了一个web项目,发现所有的js页面都出现Content is not allowed in prolog.这个问题。 所有的jsp页面都出现The markup in the document preceding the root element must be well-formed.这个问题。但是对整个项目不影响,都可以运行,在网页上都能显示出来,请问要怎么该。![![![![![图片说明](https://img-ask.csdn.net/upload/201603/22/1458650286_400694.png)图片说明](https://img-ask.csdn.net/upload/201603/22/1458650281_922161.png)图片说明](https://img-ask.csdn.net/upload/201603/22/1458650275_887797.png)图片说明](https://img-ask.csdn.net/upload/201603/22/1458650266_318352.png)图片说明](https://img-ask.csdn.net/upload/201603/22/1458650249_394606.png)
相见恨晚的超实用网站
搞学习 知乎:www.zhihu.com 简答题:http://www.jiandati.com/ 网易公开课:https://open.163.com/ted/ 网易云课堂:https://study.163.com/ 中国大学MOOC:www.icourse163.org 网易云课堂:study.163.com 哔哩哔哩弹幕网:www.bilibili.com 我要自学网:www.51zxw
花了20分钟,给女朋友们写了一个web版群聊程序
参考博客 [1]https://www.byteslounge.com/tutorials/java-ee-html5-websocket-example
爬虫福利二 之 妹子图网MM批量下载
爬虫福利一:27报网MM批量下载    点击 看了本文,相信大家对爬虫一定会产生强烈的兴趣,激励自己去学习爬虫,在这里提前祝:大家学有所成! 目标网站:妹子图网 环境:Python3.x 相关第三方模块:requests、beautifulsoup4 Re:各位在测试时只需要将代码里的变量 path 指定为你当前系统要保存的路径,使用 python xxx.py 或IDE运行即可。
字节跳动视频编解码面经
引言 本文主要是记录一下面试字节跳动的经历。 三四月份投了字节跳动的实习(图形图像岗位),然后hr打电话过来问了一下会不会opengl,c++,shador,当时只会一点c++,其他两个都不会,也就直接被拒了。 七月初内推了字节跳动的提前批,因为内推没有具体的岗位,hr又打电话问要不要考虑一下图形图像岗,我说实习投过这个岗位不合适,不会opengl和shador,然后hr就说秋招更看重基础。我当时
开源一个功能完整的SpringBoot项目框架
福利来了,给大家带来一个福利。 最近想了解一下有关Spring Boot的开源项目,看了很多开源的框架,大多是一些demo或者是一个未成形的项目,基本功能都不完整,尤其是用户权限和菜单方面几乎没有完整的。 想到我之前做的框架,里面通用模块有:用户模块,权限模块,菜单模块,功能模块也齐全了,每一个功能都是完整的。 打算把这个框架分享出来,供大家使用和学习。 为什么用框架? 框架可以学习整体
Java学习的正确打开方式
在博主认为,对于入门级学习java的最佳学习方法莫过于视频+博客+书籍+总结,前三者博主将淋漓尽致地挥毫于这篇博客文章中,至于总结在于个人,实际上越到后面你会发现学习的最好方式就是阅读参考官方文档其次就是国内的书籍,博客次之,这又是一个层次了,这里暂时不提后面再谈。博主将为各位入门java保驾护航,各位只管冲鸭!!!上天是公平的,只要不辜负时间,时间自然不会辜负你。 何谓学习?博主所理解的学习,它
程序员必须掌握的核心算法有哪些?
由于我之前一直强调数据结构以及算法学习的重要性,所以就有一些读者经常问我,数据结构与算法应该要学习到哪个程度呢?,说实话,这个问题我不知道要怎么回答你,主要取决于你想学习到哪些程度,不过针对这个问题,我稍微总结一下我学过的算法知识点,以及我觉得值得学习的算法。这些算法与数据结构的学习大多数是零散的,并没有一本把他们全部覆盖的书籍。下面是我觉得值得学习的一些算法以及数据结构,当然,我也会整理一些看过
Python——画一棵漂亮的樱花树(不同种樱花+玫瑰+圣诞树喔)
最近翻到一篇知乎,上面有不少用Python(大多是turtle库)绘制的树图,感觉很漂亮,我整理了一下,挑了一些我觉得不错的代码分享给大家(这些我都测试过,确实可以生成喔~) one 樱花树 动态生成樱花 效果图(这个是动态的): 实现代码 import turtle as T import random import time # 画樱花的躯干(60,t) def Tree(branch
深深的码丨Java HashMap 透析
HashMap 相关概念 HashTab、HashMap、TreeMap 均以键值对像是存储或操作数据元素。HashTab继承自Dictionary,HashMap、TreeMap继承自AbstractMap,三者均实现Map接口 **HashTab:**同步哈希表,不支持null键或值,因为同步导致性能影响,很少被使用 **HashMap:**应用较多的非同步哈希表,支持null键或值,是键值对...
大学四年自学走来,这些私藏的实用工具/学习网站我贡献出来了
大学四年,看课本是不可能一直看课本的了,对于学习,特别是自学,善于搜索网上的一些资源来辅助,还是非常有必要的,下面我就把这几年私藏的各种资源,网站贡献出来给你们。主要有:电子书搜索、实用工具、在线视频学习网站、非视频学习网站、软件下载、面试/求职必备网站。 注意:文中提到的所有资源,文末我都给你整理好了,你们只管拿去,如果觉得不错,转发、分享就是最大的支持了。 一、电子书搜索 对于大部分程序员...
linux系列之常用运维命令整理笔录
本博客记录工作中需要的linux运维命令,大学时候开始接触linux,会一些基本操作,可是都没有整理起来,加上是做开发,不做运维,有些命令忘记了,所以现在整理成博客,当然vi,文件操作等就不介绍了,慢慢积累一些其它拓展的命令,博客不定时更新 顺便拉下票,我在参加csdn博客之星竞选,欢迎投票支持,每个QQ或者微信每天都可以投5票,扫二维码即可,http://m234140.nofollow.ax.
Python 基础(一):入门必备知识
目录1 标识符2 关键字3 引号4 编码5 输入输出6 缩进7 多行8 注释9 数据类型10 运算符10.1 常用运算符10.2 运算符优先级 1 标识符 标识符是编程时使用的名字,用于给变量、函数、语句块等命名,Python 中标识符由字母、数字、下划线组成,不能以数字开头,区分大小写。 以下划线开头的标识符有特殊含义,单下划线开头的标识符,如:_xxx ,表示不能直接访问的类属性,需通过类提供
程序员接私活怎样防止做完了不给钱?
首先跟大家说明一点,我们做 IT 类的外包开发,是非标品开发,所以很有可能在开发过程中会有这样那样的需求修改,而这种需求修改很容易造成扯皮,进而影响到费用支付,甚至出现做完了项目收不到钱的情况。 那么,怎么保证自己的薪酬安全呢? 我们在开工前,一定要做好一些证据方面的准备(也就是“讨薪”的理论依据),这其中最重要的就是需求文档和验收标准。一定要让需求方提供这两个文档资料作为开发的基础。之后开发
网页实现一个简单的音乐播放器(大佬别看。(⊙﹏⊙))
今天闲着无事,就想写点东西。然后听了下歌,就打算写个播放器。 于是乎用h5 audio的加上js简单的播放器完工了。 欢迎 改进 留言。 演示地点跳到演示地点 html代码如下`&lt;!DOCTYPE html&gt; &lt;html&gt; &lt;head&gt; &lt;title&gt;music&lt;/title&gt; &lt;meta charset="utf-8"&gt
Python十大装B语法
Python 是一种代表简单思想的语言,其语法相对简单,很容易上手。不过,如果就此小视 Python 语法的精妙和深邃,那就大错特错了。本文精心筛选了最能展现 Python 语法之精妙的十个知识点,并附上详细的实例代码。如能在实战中融会贯通、灵活使用,必将使代码更为精炼、高效,同时也会极大提升代码B格,使之看上去更老练,读起来更优雅。 1. for - else 什么?不是 if 和 else 才
数据库优化 - SQL优化
前面一篇文章从实例的角度进行数据库优化,通过配置一些参数让数据库性能达到最优。但是一些“不好”的SQL也会导致数据库查询变慢,影响业务流程。本文从SQL角度进行数据库优化,提升SQL运行效率。 判断问题SQL 判断SQL是否有问题时可以通过两个表象进行判断: 系统级别表象 CPU消耗严重 IO等待严重 页面响应时间过长
2019年11月中国大陆编程语言排行榜
2019年11月2日,我统计了某招聘网站,获得有效程序员招聘数据9万条。针对招聘信息,提取编程语言关键字,并统计如下: 编程语言比例 rank pl_ percentage 1 java 33.62% 2 c/c++ 16.42% 3 c_sharp 12.82% 4 javascript 12.31% 5 python 7.93% 6 go 7.25% 7
通俗易懂地给女朋友讲:线程池的内部原理
餐厅的约会 餐盘在灯光的照耀下格外晶莹洁白,女朋友拿起红酒杯轻轻地抿了一小口,对我说:“经常听你说线程池,到底线程池到底是个什么原理?”我楞了一下,心里想女朋友今天是怎么了,怎么突然问出这么专业的问题,但做为一个专业人士在女朋友面前也不能露怯啊,想了一下便说:“我先给你讲讲我前同事老王的故事吧!” 大龄程序员老王 老王是一个已经北漂十多年的程序员,岁数大了,加班加不动了,升迁也无望,于是拿着手里
经典算法(5)杨辉三角
杨辉三角 是经典算法,这篇博客对它的算法思想进行了讲解,并有完整的代码实现。
腾讯算法面试题:64匹马8个跑道需要多少轮才能选出最快的四匹?
昨天,有网友私信我,说去阿里面试,彻底的被打击到了。问了为什么网上大量使用ThreadLocal的源码都会加上private static?他被难住了,因为他从来都没有考虑过这个问题。无独有偶,今天笔者又发现有网友吐槽了一道腾讯的面试题,我们一起来看看。 腾讯算法面试题:64匹马8个跑道需要多少轮才能选出最快的四匹? 在互联网职场论坛,一名程序员发帖求助到。二面腾讯,其中一个算法题:64匹
面试官:你连RESTful都不知道我怎么敢要你?
面试官:了解RESTful吗? 我:听说过。 面试官:那什么是RESTful? 我:就是用起来很规范,挺好的 面试官:是RESTful挺好的,还是自我感觉挺好的 我:都挺好的。 面试官:… 把门关上。 我:… 要干嘛?先关上再说。 面试官:我说出去把门关上。 我:what ?,夺门而去 文章目录01 前言02 RESTful的来源03 RESTful6大原则1. C-S架构2. 无状态3.统一的接
JDK12 Collectors.teeing 你真的需要了解一下
前言 在 Java 12 里面有个非常好用但在官方 JEP 没有公布的功能,因为它只是 Collector 中的一个小改动,它的作用是 merge 两个 collector 的结果,这句话显得很抽象,老规矩,我们先来看个图(这真是一个不和谐的图????): 管道改造经常会用这个小东西,通常我们叫它「三通」,它的主要作用就是将 downstream1 和 downstre...
为啥国人偏爱Mybatis,而老外喜欢Hibernate/JPA呢?
关于SQL和ORM的争论,永远都不会终止,我也一直在思考这个问题。昨天又跟群里的小伙伴进行了一番讨论,感触还是有一些,于是就有了今天这篇文。 声明:本文不会下关于Mybatis和JPA两个持久层框架哪个更好这样的结论。只是摆事实,讲道理,所以,请各位看官勿喷。 一、事件起因 关于Mybatis和JPA孰优孰劣的问题,争论已经很多年了。一直也没有结论,毕竟每个人的喜好和习惯是大不相同的。我也看
项目中的if else太多了,该怎么重构?
介绍 最近跟着公司的大佬开发了一款IM系统,类似QQ和微信哈,就是聊天软件。我们有一部分业务逻辑是这样的 if (msgType = "文本") { // dosomething } else if(msgType = "图片") { // doshomething } else if(msgType = "视频") { // doshomething } else { // doshom...
致 Python 初学者
欢迎来到“Python进阶”专栏!来到这里的每一位同学,应该大致上学习了很多 Python 的基础知识,正在努力成长的过程中。在此期间,一定遇到了很多的困惑,对未来的学习方向感到迷茫。我非常理解你们所面临的处境。我从2007年开始接触 python 这门编程语言,从2009年开始单一使用 python 应对所有的开发工作,直至今天。回顾自己的学习过程,也曾经遇到过无数的困难,也曾经迷茫过、困惑过。开办这个专栏,正是为了帮助像我当年一样困惑的 Python 初学者走出困境、快速成长。希望我的经验能真正帮到你
“狗屁不通文章生成器”登顶GitHub热榜,分分钟写出万字形式主义大作
一、垃圾文字生成器介绍 最近在浏览GitHub的时候,发现了这样一个骨骼清奇的雷人项目,而且热度还特别高。 项目中文名:狗屁不通文章生成器 项目英文名:BullshitGenerator 根据作者的介绍,他是偶尔需要一些中文文字用于GUI开发时测试文本渲染,因此开发了这个废话生成器。但由于生成的废话实在是太过富于哲理,所以最近已经被小伙伴们给玩坏了。 他的文风可能是这样的: 你发现,...
程序员:我终于知道post和get的区别
是一个老生常谈的话题,然而随着不断的学习,对于以前的认识有很多误区,所以还是需要不断地总结的,学而时习之,不亦说乎
《程序人生》系列-这个程序员只用了20行代码就拿了冠军
你知道的越多,你不知道的越多 点赞再看,养成习惯GitHub上已经开源https://github.com/JavaFamily,有一线大厂面试点脑图,欢迎Star和完善 前言 这一期不算《吊打面试官》系列的,所有没前言我直接开始。 絮叨 本来应该是没有这期的,看过我上期的小伙伴应该是知道的嘛,双十一比较忙嘛,要值班又要去帮忙拍摄年会的视频素材,还得搞个程序员一天的Vlog,还要写BU...
加快推动区块链技术和产业创新发展,2019可信区块链峰会在京召开
11月8日,由中国信息通信研究院、中国通信标准化协会、中国互联网协会、可信区块链推进计划联合主办,科技行者协办的2019可信区块链峰会将在北京悠唐皇冠假日酒店开幕。   区块链技术被认为是继蒸汽机、电力、互联网之后,下一代颠覆性的核心技术。如果说蒸汽机释放了人类的生产力,电力解决了人类基本的生活需求,互联网彻底改变了信息传递的方式,区块链作为构造信任的技术有重要的价值。   1...
程序员把地府后台管理系统做出来了,还有3.0版本!12月7号最新消息:已在开发中有github地址
第一幕:缘起 听说阎王爷要做个生死簿后台管理系统,我们派去了一个程序员…… 996程序员做的梦: 第一场:团队招募 为了应对地府管理危机,阎王打算找“人”开发一套地府后台管理系统,于是就在地府总经办群中发了项目需求。 话说还是中国电信的信号好,地府都是满格,哈哈!!! 经常会有外行朋友问:看某网站做的不错,功能也简单,你帮忙做一下? 而这次,面对这样的需求,这个程序员...
相关热词 如何提升c#开发能力 矩阵乘法c# c#调用谷歌浏览器 c# 去空格去转义符 c#用户登录窗体代码 c# 流 c# linux 可视化 c# mvc 返回图片 c# 像素空间 c# 日期 最后一天
立即提问