由买买提看人间百态

topics

全部话题 - 话题: prolog
首页 上页 1 2 3 (共3页)
q*j
发帖数: 156
1
【 以下文字转载自 board 讨论区 】
【 原文由 qqj 所发表 】
上次的申请估计站长没有看见,所以再次提出申请。
qualification如下:
Database Systems: DB2, Oracle, MySQL, Sybase, Illustra
Query Languages: SQL, QBE, Datalog
Languages: C, C++, Java, Perl, PHP, CORBA NEO, Prolog, MPI, Pascal, FORTRAN
Operating Systems: UNIX, Linux, Windows NT
治版方针如下:
1。做好精华区,尽量做到资料全,容易找,方便网友查询信息。
2。维持清洁,友好的讨论环境。及时删除纯水及可能引起不愉快的文章。
c*****t
发帖数: 1879
2
来自主题: Java版 - 问个问题
I think that you misunderstood.
Predicate logic is merely the fundamental of the query mechanism.
It has nothing to do with physical representation.
However, in practice, triples are used to store the knowledges, as in
prolog, decl, RDF etc. Triples, in a way, are EAV models (entity,
attribute, values). Sometimes it may be represented as target>, or action.
If you consider entities as tuples in the database, and consider all
attributes as columns for the tuples
F****n
发帖数: 3271
3
来自主题: Java版 - anyone using Scala ?
Declarative Programming is not a new thing, and declarative / procedural
programming are conceptually different. To mix them together in one language
like Scala, is not necessarily a good thing, because it will only create
conceptual confusion and implementation nightmare (anyone has experience
with Lisp / Prolog would know what I am talking about).
The cleaner solution is to incorporate declarative features at the meta
level for a procedural language. Probably they should work on something
base
b******y
发帖数: 9224
4
来自主题: Java版 - anyone using Scala ?
"It's an advanced AI topic"
haha, love it Foxman, you hit the nail onto the head.
我觉得其实computing 40多年以来,最好的还是good old c programming. Java也不错
。但scala学习一下不错,不知道将来是否会有市场。
我曾今学过Prolog, 觉得和AI相关的东西太深的都是忽悠。工业界和现实当中,最可靠
最好的还是扎扎实实的procedural programming. 加点儿Object oriented也就不错了
t*****t
发帖数: 52
5
每个人心里都有一种理想的语言,没有适合所有人的语言。。。。
楼主是做资源极度受限的嵌入式系统的吧,嘿嘿.
我并行编程比较多,而且都是在大集群上面的,
所以我觉得应该包含matlab和prolog(clp-fd)的语法语义, JIT解释执行,边运行边
profile-optimize自己,自动并行化,动态类型推断,至于GC更是最基本的要求,通过
机器学习算法控制GC,内存是eager defrag, idle时defrag.
s******r
发帖数: 4
6
来自主题: Programming版 - ML语言求教!谢谢
谁用ML 给Prolog 写过解释器?谢谢了,我又几个问题,是一个课的大作业。
邮件: j****[email protected]
f********f
发帖数: 290
7
【 以下文字转载自 CS 讨论区 】
发信人: flyingjeff (1@2), 信区: CS
标 题: expert system shell 现在哪个好些? clips? jess? or ???
发信站: BBS 未名空间站 (Fri Aug 24 01:37:21 2007), 转信
我对这个没什么概念,最近要选一个shell or programming language实现一个product
planning的推理部分,在网上看了半天,似乎lisp,prolog是比较主要的两种语言。cl
ips, jess则是最近比较流行的shell?。不知道有没有什么特别好的,稳定又简单的lan
guage or shell? commercial的也可以?
或者有什么比较好的review/book之类的推荐以下也好。
多谢多谢
g*****e
发帖数: 87
8
来自主题: Programming版 - 这里有人用 Erlang 吗?
Prolog syntax and all recursion based. Very difficult to pick up.
Good candidate for building large system with excellent support for
multipcore programming.
E/// SGSN control engine is all programmed with Erlang.
E*****m
发帖数: 25615
9
来自主题: Programming版 - Python擂台:算24点
我也來湊個熱鬧, Prolog, 11 行。
del([H|T],H,T).
del([H|T1],X,[H|T]):- del(T1,X,T).
evaluate(X,'-',Y,Z):- Z is X-Y.
evaluate(X,'+',Y,Z):- Z is X+Y.
evaluate(X,'*',Y,Z):- Z is X*Y.
evaluate(X,'/',Y,Z):- Y =\= 0, Z is X/Y.
solve1([X],X, []).
solve1([HH|L],X, [Operator,H1|Sol1]):- del(L,H1,L1), evaluate(HH,Operator,H1
,H), solve1([H|L1],X,Sol1).
solve0(L,X,Ans):- del(L,H,T), solve1([H|T],X,Sol),concat_atom([H|Sol],Ans).
solve(List,Target,true):- findall(Sol,solve0(List,Target,Sol), Sols), print(
Sols),!.
sol... 阅读全帖
E*****m
发帖数: 25615
10
来自主题: Programming版 - Python擂台:算24点
Prolog 可以說就是設計來做這種排列組合找解的題目, 其他語言
很難寫得更短了。
E*****m
发帖数: 25615
11
来自主题: Programming版 - 未来ruby能不能挤掉python

我不是啥大牛,只是喜歡比較語言而已。
話說我也粉了 Scala 一段時間, 覺得他的 Typing system
太醜了點。 去看了半天 Lift 還是沒搞懂啥叫 template-first,
轉去看 Play, 比較好點,好像還是不像 Django 完整。
Ruby 則是一直都提不起興趣, 原因是我覺得 Python 可以
適用的地方是 Ruby 的 superset。
Clojure, Haskell, Ocaml, Erlang 這些FP 我都業餘玩玩,
沒認真用。
我認為最好的語言,一是 Prolog, 一是 Haskell。
但是未來是屬於 Brainfuck 的, 哈哈!
E*****m
发帖数: 25615
12
来自主题: Programming版 - 关于web server对于web service的支持
給你打個比方好了, 少林齊眉棍又簡單又有效, 那麼為啥
不大家都丟了方天畫戟流星鎚青龍偃月刀呢?
很簡單, 各人喜好不同, 雖然我喜歡Python, 但是那位上
來說 Python 噁心的我就很欣賞, 比較像個有愛恨有感覺的人,
把一件事做好是一個層次, 做的過程感覺爽快是更高層次,
像我覺得最爽的事情就是可以一行寫出人家要十行才能做的,
你不覺得這有什麼好爽的話我也不在乎, 我爽就行。
PHP 也不錯啊, framework 也多, 最便宜, 但是語法等
都平淡無味, 寫 PHP/java 對我來說就是做工, 寫 Python 或
Haskell 或 Clojure 或 Prolog 等對我來說有一半是娛樂。
大家上來講講自己用過的語言有啥好處,互相交流一下,
誰也沒在賣東西賺錢, 你聽聽就好, 愛用 PHP 你就用,
沒人攔著你吧?
E*****m
发帖数: 25615
13
来自主题: Programming版 - Indiana大学的牛人
core.logic 真是個奇怪的東西, 看半天搞不懂,
以為是 Prolog, 看起來又不像。
E*****m
发帖数: 25615
14
来自主题: Programming版 - Indiana大学的牛人
多謝樓主, 你提起這個我又去看了一下 core.logic,
看來可能有用, 只是還是挺 awkward 的,不如
Prolog 這樣乾淨漂亮。
d***a
发帖数: 13752
15
怎么没人提prolog呢...
程序:
male(ali).
male(veli).
female(zeynep).
parent(ali,ayse).
parent(ali,ahmet).
parent(zeynep,ayse).
father(X,Y):-parent(X,Y), male(X).
询问:
father(X,Y).
回答:
X = ali,
Y = ayse ;
X = ali,
Y = ahmet.
e*******o
发帖数: 4654
16
会的人少吧。
大牛能否谈谈prolog 值不值的学? 现在主要用在那些方面?
d***a
发帖数: 13752
17
出于兴趣可以学一下。Prolog是一种logic programming语言,面向的应用是人工智能
,专家系统等系统。能用上的时候,程序可以写得非常elegant。
对找工作没有大用。:)
t****a
发帖数: 1212
18
二爷函数式玩厌了可以尝试尝试prolog
h*****4
发帖数: 4219
19
prolog挺好玩的,让计算机做决定
a*w
发帖数: 4495
20
来自主题: Programming版 - 为什么说 lisp 是AI 的语言?
也不一定是骗钱吧。
不过要说AI,Prolog也比Lisp靠谱。
G****r
发帖数: 5579
21
来自主题: Programming版 - 为什么说 lisp 是AI 的语言?
某大银行还在用 Prolog
n*****t
发帖数: 22014
22
来自主题: Programming版 - 说个正经的,人工智能
想起读书的时候扫过一眼 prolog,当时就想,哪天把全世界的电脑都组合起来,一起
堆这个知识库,是不是狠无敌了?
p*3
发帖数: 197
23
请大niu们来讲讲
t****a
发帖数: 1212
24
Rich Hickey搞了个Datomic: http://en.wikipedia.org/wiki/Datomic
据说有人在production用,应该是一些小startup: http://www.quora.com/Datomic/Who-is-using-Datomic-in-production
在生产系统用这么新的东西,风险还是挺高的。
楼主,能说说你为什么要用deductive database system,它的优越性在哪里?
p*3
发帖数: 197
25
可以造机器推理和专家系统哈
l******t
发帖数: 55733
26
小时候看过不太懂搞不明白记得可以回溯。现在有了fp,这玩意还有用吗
r*********r
发帖数: 1892
27
来自主题: Programming版 - 语言区别
一位美国CS写的,各位大拿如何看?
The Languages
C++ is well-suited for large projects because it has an object-oriented
structure. People can collaborate on one program by breaking it up into
parts and having a small group or even one individual work on each part. The
object-oriented structure also allows code to be reused a lot, which can
cut down development time. C++ is also a fairly efficient language -
although many C programmers will disagree.
C is a popular language, especially in game programming, becau... 阅读全帖
s*i
发帖数: 5025
28
来自主题: Programming版 - 语言区别
Prolog,曾经写过小程序,哈哈
a*****e
发帖数: 1700
29
declarative 比 fp 宽泛,包含 fp 语言。
SQL 属于 declarative,但不是 fp。
b******y
发帖数: 9224
30
明白了,多谢楼上二位
p*****2
发帖数: 21240
31
fp也不只是declarative
fp
也可以做impetative
b******y
发帖数: 9224
32

多谢!
T*******x
发帖数: 8565
33
我觉得sql (select)算list processing。
相当于map reduce里的map,但是它缺乏reduce。
所以它不是一个完备的语言。这个理论上我也不太懂。
list processing这部分应该跟lisp有点象吧。
h**********c
发帖数: 4120
34
来自主题: Programming版 - Python真是一种长得很丑的语言
P松不P松的,老板给钱,PROLOG咱也不是没些过。
I tell you something, I just like Okeydos, they say OK they do it.
You know what, the contra converse , is that, they can not do it they are
not
Okeydo. But not, vice versa.
M*******t
发帖数: 189
35
来自主题: Programming版 - 王垠:我为什么不在乎人工智能
来源:王垠
www.yinwang.org/blog-cn/2017/04/23/ai
如有好文章投稿,请点击 → 这里了解详情
有人听说我想创业,给我提出了一些“忽悠”的办法。他们说,既然你是程序语言专家
,而现在人工智能(AI)又非常热,那你其实可以搞一个“自动编程系统”,号称可以
自动生成程序,取代程序员的工作,节省许许多多的人力支出,这样就可以趁着“AI
热”拉到投资。
有人甚至把名字都给我想好了,叫“深度程序员”(DeepCoder = Deep Learning +
Coder)。口号是:“有了 DeepCoder,不用 Top Coder!” 还有人给我指出了这方向
最新的,吹得神乎其神的研究,比如微软的 Robust Fill……
我谢谢这些人的关心,然而其实我并不在乎,也不看好人工智能。现在我简单的讲一下
我的看法。
机器一样的心
很多人喜欢鼓吹人工智能,自动车,机器人等技术,然而如果你仔细观察,就会发现这
些人不但不理解人类智能是什么,不理解人工智能有什么局限性,而且这些“AI 狂人
”们的心,已经严重的机械化了。他们或多或少的失去了人性,仿佛忘记了自己是一个
人,... 阅读全帖
h**********c
发帖数: 4120
36
来自主题: Programming版 - python的scope机制 非常垃圾
你看VM,kernel的code,上来就是七八层循环,你这个东西对实现程序逻辑提高可读性
有什么帮助,就是先天缺陷,懒得修吧?
那个不见得比prolog高到哪里去
z*********e
发帖数: 10149
37
来自主题: Programming版 - 代码最优美的编程语言
最近跟领导一起研究prolog,挺有意思的,不过这里大概没人关心,老古董了

发帖数: 1
38
来自主题: Programming版 - 代码最优美的编程语言
prolog和 lisp/clojure 都是少有真正的homoiconic language。
r****t
发帖数: 10904
39
http://en.wikipedia.org/wiki/Encapsulated_PostScript
An EPSI file will contain a line starting %%BeginPreview: in the DSC prolog.
The preview can either be stripped out from epsi by some scripts. google is
ur friend.

eps
w*****s
发帖数: 122
40
来自主题: XML版 - SML-DEV's Minimal XML.
[April 13, 2000] SML-DEV's Minimal XML. Don Park recently announced the availability of a
Minimal XML specification and a Java Minimal XML parser, with performance test utilities. Basically,
Minimal XML is XML without: Attributes, CDATA Sections, Comments, Document Type Declarations,
Empty-Element Tags, Entity References, Mixed Contents, Predefined Entities, Processing Instructions,
Prolog, and XML Declaration. This work is part of the SML-DEV project. SML-DEV is "a group of ove
r********1
发帖数: 14
41
来自主题: CivilEngineering版 - 请有工作经验的给介绍一下常用软件
Construction Management:
Primavera Project Planner (P3)
Timberline
Prolog
c***s
发帖数: 1292
42
刚开始工作的时候,没什么技术含量
就是处理RFI(Request for information)
把所有信息录入到项目信息系统,主要用的有prolog, expedition
这些信息包括项目的设计修改,合同的修改(change order)
还有和项目经理一起和客户一起分析每个修改的文件,和预算师一起分析修改的设计具
体金额应该是多少。
有的公司自己有scheduler,有的是找consultant做,也有是project engineer,也就是你
来做。
具体施工的实际问题是superintendent负责。那些人都是可能高中一毕业就上工地了。
对于实际施工非常懂。跟这些人一起混,你可以知道一个项目到底是怎么造起来的。一
般硕士毕业的人是主要帮项目经理做,而不是走superintendent这条路。
也有一开始是从预算师做起。用的软件有很多,主要是timberline之类的。
基本上CM毕业出来就是做这个。但是非常非常重要的一点是:干这个,语言能力一定要
好!
w****7
发帖数: 7
43
Based on my personal experience, construction management definitely offers
an opportunity to get to know different phases of construction projects,
from pre-con to close out. Job market is not that bad for construction
management, especially for Project Controls (cost and schedule control).
If you decide to choose CM, I would strongly recommend to learn to use the
following software:
P5e/P3
Expedition/prolog
Timberline
In addition, a summer intern is very important to find the full time job.
T
n**********9
发帖数: 120
44
来自主题: MedicalCareer版 - 督促学习
谢谢建议。
原本打算每天学习前碰个头, 说一下各自的计划, 中间俩小时各自学习,然后结束时
看看是否完成当天任务。
打算学prolog, 不知道是否有人有兴趣。
n**********9
发帖数: 120
45
来自主题: MedicalCareer版 - 督促学习
已经找到人一起自习了。如果有人打算学prolog,就更好了。 一周两三次都可以。请
联系。
q*j
发帖数: 156
46
上次的申请估计站长没有看见,所以再次提出申请。
qualification如下:
Database Systems: DB2, Oracle, MySQL, Sybase, Illustra
Query Languages: SQL, QBE, Datalog
Languages: C, C++, Java, Perl, PHP, CORBA NEO, Prolog, MPI, Pascal, FORTRAN
Operating Systems: UNIX, Linux, Windows NT
治版方针如下:
1。做好精华区,尽量做到资料全,容易找,方便网友查询信息。
2。维持清洁,友好的讨论环境。及时删除纯水及可能引起不愉快的文章。
m***r
发帖数: 359
47
来自主题: DataSciences版 - 机器学习日报 2015年3月楼
机器学习日报 2015-03-17
@好东西传送门 出品, 过刊见
http://ml.memect.com
订阅:给 [email protected]
/* */ 发封空信, 标题: 订阅机器学习日报
更好看的HTML版
http://ml.memect.com/archive/2015-03-17/short.html
1) 【深度学习系统cxxnet V2】 by @陈天奇怪
关键词:深度学习, 算法, 代码, 神经网络
发布深度学习系统cxxnet V2,和小伙伴 @李沐M @antinucleon @winsty 完成,文章解
析了简洁高效神经网络的技术细节。代码 [1] [2]
[1] https://github.com/dmlc/cxxnet
[2] http://weibo.com/p/1001603821399843149639
2) 【加密数据高效分类问题】 by @爱可可-爱生活
关键词:算法, 分类
[论文]《Machine learning classification over encrypted data》R Bost, RA Popa
,... 阅读全帖
m***r
发帖数: 359
48
来自主题: DataSciences版 - 机器学习日报 2015年3月楼
机器学习日报 2015-03-17
@好东西传送门 出品, 过刊见
http://ml.memect.com
订阅:给 [email protected]
/* */ 发封空信, 标题: 订阅机器学习日报
更好看的HTML版
http://ml.memect.com/archive/2015-03-17/short.html
1) 【深度学习系统cxxnet V2】 by @陈天奇怪
关键词:深度学习, 算法, 代码, 神经网络
发布深度学习系统cxxnet V2,和小伙伴 @李沐M @antinucleon @winsty 完成,文章解
析了简洁高效神经网络的技术细节。代码 [1] [2]
[1] https://github.com/dmlc/cxxnet
[2] http://weibo.com/p/1001603821399843149639
2) 【加密数据高效分类问题】 by @爱可可-爱生活
关键词:算法, 分类
[论文]《Machine learning classification over encrypted data》R Bost, RA Popa
,... 阅读全帖
w*******y
发帖数: 60932
49
This is Pioneer's upper echelon premium receiver and an EXCELLENT buy for
this price! Don't wait...go go go!
Apply Coupon Code = AFL4COUPON
Pioneer Elite VSX-31 110W 7.1 Channel A/V Receiver with 110 Watts, Black:80W
x 7 Direct Energy Amplification
Dolby TrueHD, Dolby Digital Plus, Dolby ProLogic IIz, DTS-HD Master Audio/
High Resolution Audio
WMA 9 Pro Decoder
DTS Neural Surround
Advanced Surround Sound (13 plus 1 modes)
HDMI with 3D support
3D noise reduction
iPod and iPhone Certified
Ethernet... 阅读全帖
w*******y
发帖数: 60932
50
来自主题: _DealGroup版 - 【$】Pioneer Elite VSX-31 $298.98 - Walmart
I was searching for pricing on some receivers and found this Pioneer Elite
VSX-31 on Walmart for $298.98. I had no idea that Walmart carried the Elite
line but then again, this is the only model i could find on their site. I
searched the webs but did find anything cheaper from a reliable known source
that had it brand new. I thought this was a pretty good price so here you
go
Walmart Pioneer Elite VSX-31 $298.98:
http://www.walmart.com/catalog/product.do?product_id=16874074&f
Details:
Elite rece... 阅读全帖
首页 上页 1 2 3 (共3页)